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...

This article is to show you how to go from a clean install of Visual Studio 2010 to running the Code Contract tools for the first time. Since the tools aren’t included in VS install, we thought we’d provide some extra information on where to find them. If you’re already using Code Contracts in Visual...

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...

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 who have read the...

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...

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 of the history...