VSH16 Rock Your Code Using Code Contracts


1:30pm - 2:45pm

Level: Intermediate to Advanced

David McCarter

Principal Software Engineer/ Contractor/ Teacher


Learn to write and design bullet-proof types in .NET.

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 runtime checking, enable static contract verification, and documentation generation.

You will learn to write and design bullet-proof types in .NET. An important part of coding standards and agile.