SpecSharp | Tags | Channel 9

23 minutes, 18 seconds

Mike Barnett - Getting started with Code Contracts in Visual Studio 2008

Peli at RiSE Feb 23, 2009 at 2:40 PM

11

(5)

Mike Barnett gives a step-by-step tutorial on Code Contracts, a new way to express preconditions, postconditions and invariants in any .NET language. The contracts team have built a runtime instrumentation tool and also advanced static checkers that can understand and reason about…

14 minutes, 32 seconds

The Verification Corner - Specifications in Action with Spec#

Peli at RiSE Mar 01, 2010 at 7:44 AM

2

(4)

In this episode of The Verification Corner, Rustan Leino gives a demonstration of specifications in action. He builds a program that chunks strings into pieces, i.e. a chunker, in Spec#. During the demo, he shows the verifier, the developer, and the specifications fit together in the development…

1 hour, 15 minutes, 0 seconds

Expert to Expert: Contract Oriented Programming and Spec#

Going Deep May 27, 2008 at 11:27 AM

30

(3)

The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. Spec# is pronounced "Spec sharp" and can be written (and searched for) as the "specsharp" or "Spec# programming system". The Spec#…

25 minutes, 41 seconds

This Week C9: Win7 API's, Spec# and Boogie, Expression 3 Starter Kits

This Week On Channel 9 Aug 14, 2009 at 11:31 AM

6

(2)

This week on C9, Brian and Habib "Runtime" Heydarian review the week's top developer stories including: Windows 7 API Code Pack for .NET Framework hits v1.0 Yahoo! API’s starting to shut down Spec# and Boogie comes to Codeplex Expression 3 Starter Kits from UX…