Code Contracts Survey

The BCL Team has put together a survey about Code Contracts.  We’re trying to get data about how people are using the feature to help us figure out where to invest in further development.  Even if you haven’t used Code Contracts yet, your answers would be quite helpful.  We have a few questions to help…


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.  It’s Tuesday at 4:30 in 408A.  They’ll give you details on some of…


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.  For regular readers of this blog…


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.  DevLabs is a site for getting preview releases of innovative new…


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 on what can be found in the CTP, some…