Mike Barnett gives a step-by-step tutorial on Code Contracts, a new way to express preconditions, postconditions and invariants in any .NET language. The contracts team have built a runtime instrumentation tool and also advanced static checkers that can understand and reason about contracts. The Code Contracts library can be downloaded for Visual Studio 2008 from the DevLabs web site. They will be part of the .Net framework 4.0!!!
- Contracts @ DevLabs:Â http://msdn.microsoft.com/en-us/devlabs/dd491992.aspx
- Contracts @ Microsoft Research: http://research.microsoft.com/contracts