I have been selected as a speaker for DevTeach Montreal where I will be presenting one of my niche presentations on Code Contracts.

If you are going to DevTeach I must say I do not have to tell you it is absolutely the best conference our there bar none.

Here is my session:

Design by Contract (DbC) and Code Contracts in Visual Studio 2010

The central idea of DbC is a metaphor on how elements of a software system collaborate with each other, on the basis of mutual obligations and benefits.

The contract is the formalization of these obligations and benefits. One could summarize design by contract by the "three questions" that the designer must repeatedly ask:

What does it expect?
What does it guarantee?
What does it maintain?

This presentation will oversee how Visual Studio 2010 and its new feature of Code Contracts will allow you to use this defensive style of programming.

Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs. The contracts take the form of preconditions, postconditions, and object invariants. Contracts act as checked documentation of your external and internal APIs. The contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation.

Track: Microsoft, Developer Foundation
Style: Lecture
Speaker: Joel Hebert