Welcome to MSDN Blogs Sign in | Join | Help

Browse by Tags

All Tags » Contracts   (RSS)
Tuesday, November 17, 2009 11:22 AM

Code Contracts at PDC 2009

If you’re at PDC this year and interested in Code Contracts, go watch Mike Barnett and Nikolai Tillmann talk about Code Contracts and Pex (another MSR tool). Their session is called Code Contracts and Pex: Power Charge Your Assertions and Unit Tests .
Posted by BCLTeam | 0 Comments
Filed under:
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