Browse by Tags

Tagged Content List
  • Blog Post: 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...
  • Blog Post: I just installed Visual Studio 2010, now how do I get Code Contracts? [Melitta Andersen]

    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...
  • Blog Post: 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...
  • Blog Post: 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 who have read the...
  • Blog Post: 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...
  • Blog Post: 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 of the history...
Page 1 of 1 (6 items)