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
Link Removed coordinates Microsoft's...