Welcome to MSDN Blogs Sign in | Join | Help

Browse by Tags

All Tags » Contracts   (RSS)
Friday, August 21, 2009 12:26 PM

Code Contracts CLR Inside Out Article [Melitta Andersen]

In the August 2009 issue of MSDN Magazine , we have a CLR Inside Out article on the BCL’s experience with adding code contracts to the BCL . It includes both an overview of the feature, as well as a few best practices we came up with as we went along.
Posted by BCLTeam | 1 Comments
Monday, February 23, 2009 3:00 PM

Preview of Code Contract Tools Now Available [Melitta Andersen]

In my Introduction to Code Contracts post, I mentioned that the tools to enable runtime checking and static analysis were not included in the .NET Framework 4.0 CTP. Today we are releasing a preview version of the Code Contracts tools on the DevLabs site.
Posted by BCLTeam | 11 Comments
Filed under:
Tuesday, November 11, 2008 3:36 PM

Introduction to Code Contracts [Melitta Andersen]

This blog post is to provide a bit more detail about the Code Contracts feature that was recently announced at the PDC and in Justin’s blog entry , and that can be found in the Visual Studio 2010 and .NET Framework 4.0 CTP . I’ll include some information
Posted by BCLTeam | 20 Comments
 
Page view tracker