Introduction to .NET Code Contracts

This video will introduce developers to the new powerful new feature that is part of the .NET framework called Code Contracts. Code Contracts brings the advantages of design-by-contract programming to .NET programming. Contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation.