CSharpFeeds - All your C# feeds in one place.

Tuesday, August 17, 2010

Getting Started with Code Contracts in VS2010

by ssmith via Blog on 8/17/2010 5:53:53 PM

The idea of Design By Contract has been around for quite a while, and Microsoft Research has had a project focused on this topic for several years now, called Spec#.  With Visual Studio 2010, there is now support for Code Contracts which are a DevLabs project based on the Spec# project.  You can read more about and download Code Contracts for VS2010 here. Once you’ve downloaded and installed Code Contracts, you’ll have a new tab in your VS2010 projects: With the Code Contracts inst ...

[ read more ]

Subscribe

New Feed

Product Spotlight

Recently Updated Sources

Legal Note

The content of the postings is owned by the respective author. CSharpFeeds is not responsible for the contents of the postings. This site is automatically generated and cannot be reviewed for abusive content. If you find abusive content on CSharpFeeds, please contact us. Designated trademarks and brands are the property of their respective owners. All rights reserved.

Advertise with us