Microsoft Code Contracts and Specifications
Update 2009-11-30: MSDN Documentation for .NET Framework Version 4
All developers write code with input expectations, code assumptions, and output guarantees (we’ll refer to these as code contracts). My presentation Microsoft Code Contracts - Explicit Expectations helps introduce developers to a new framework available to make those code contracts explicit. The appropriately named project, Microsoft Code Contracts, will ship bundled with [...]
