MSDN Webcast: Spec#: Adding Contracts to C# (Level 300)  

Microsoft Spec# is a strict superset of Microsoft Visual C# that adds the idea of code contracts. Code contracts are designed to capture programmer intentions about how methods and data should be used, such as method preconditions, postconditions, and object invariants. Join this webcast and learn how the Spec# compiler emits run-time checks that enforce the contracts and how the Spec# program verifier uses theorem-proving technology to check the consistency statically between a program and its contracts. Spec# is integrated into Microsoft Visual Studio .NET 2003 and is meant to help programmers write correct software and to make explicit the correct usage of APIs for clients.

Presenter: Mike Barnett, Research Software Design Engineer, Microsoft Corporation

Michael Barnett has been with Microsoft since July 1995. He first was a member of the Natural Language Processing Group in Microsoft Research, moving to FSE in the fall of 1999. Before coming to Microsoft, Mike had been an assistant professor of Computer Science at the University of Idaho for three years. He received his PhD in Computer Science from the University of Texas at Austin in 1992. He is currently working on the Spec# Programming System.

Register to view this on-demand webcast and download a .wmv of the webcast now. By registering, you will also receive a confirmation email the following day with a link to the PPT download.