Rock Your Code Using Code Contracts

This session will introduce developers to the new powerful new feature that is part of the .NET 4.5 framework called Code Contracts. Code Contracts brings the advantages of design-by-contract programming to .NET programming. Contracts are used to improve testing via run-time checking, enable static contract verification, and documentation generation. Sit close and you just might catch a custom dotNetDave guitar pick. Sit close and you just might catch a custom dotNetDave guitar pick or Rock The Nation postcard. Some of some of them will win you free software!