Nikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.com
Download this episode
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.
Share
Format
Available formats for this video:
Actual format may change based on video formats available and browser capability.
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!
Comments closed
Comments have been closed since this content was published more than 30 days ago, but if you'd like to send us feedback you can Contact Us.