Nikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.com
Play Mike Barnett and Daryl Zuniga: Code Contracts Editor Extensions
Description
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.
Download
Download this episode
- High Quality WMV (23.7 MB)
- MP3 (2.3 MB)
- Low Quality MP4 (25.7 MB)
- Mid Quality WMV (21.4 MB)
More episodes in this series
The Verification Corner - Stepwise Refinement
Related episodes
Daryl Zuniga - Viewing Code Contracts.NET in Visual Studio
Stephen Toub: Inside TPL Dataflow
Northeast Roadshow: Parallel Programming with .NET 4
Northeast Roadshow: New Language Support in .NET 4
Connected Show Podcast: It's Codeplex dot COM!
Techniques in Advanced .NET Debugging with John Robbins (Part 3 of 3)
Techniques in Advanced .NET Debugging with John Robbins (Part 2 of 3)
Techniques in Advanced .NET Debugging with John Robbins (Part 1 of 3)
Lap Around .NET 4 with Scott Hanselman
Whirlwind 13: What's new in C# 4 - Covariance & Contravariance
The Discussion
-
TG_Developer thanks
-
Chris King BUGBUG Contract documentation does not appear when calling a constructor containing a contract. Great tool otherwise!