Mike Barnett and Daryl Zuniga showcase the Code Contracts Editor Extensions. The extensions integrate Code Contracts into the C# intellisense, the Code Definition View and even the editor text itself.
- Download the Code Contracts Editor Extensions
- Try Code Contracts in your browser at http://pex4fun.com
The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.