##C# 4.0 Code Contracts
C# 4.0 Code Contracts
Microsoft has released a library for design by contract in version 4.0 of the .net framework. One of the coolest features of that library is that it also comes with a static analysis tools (similar to FxCop I guess) that leverages the details of the contracts you place on the code.
Here are some Microsoft resources:
- The main Microsoft Research site
- The user manual
- The 2008 PDC presentation
- The 2009 PDC presentation
Here are some other resources: