code contracts

Learn how to search and share charms and contracts. In this module Jerry and Daren focus on charm setting, primary and secondary tiles and toast notifications. [01:05] - Search Charm and Contract [20:27] - Share Charm and Contract [28:20] - Playto Contract [33:15] - Settings Charm [38:41] - Primary…

These elements are a core part of the expected Windows experience. This module focuses on how these allow apps to work together on broad scenarios, how to extend or customize features and how to share. [07:32] - Share contract [16:15] - Share source [21:27] - Share target [26:33] - Search [48:00] -…

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…

In this video, Nikolai Tillmann walks us through pexforfun.com, a website where you can write small C#, VB, or F# programs and explore them directly from your browser by using Pex. Additionally, Pex also makes it possible to play coding duels, in which users compete to discover a…

By Nikolai Tillmann and  Mike BarnettLearn how Code Contracts provides a set of tools for design-by-contract programming and how Pex is an advanced unit-testing tool that uses automated program exploration to intelligently create unit tests with high code coverage.  See…

Francesco Logozzo, a researcher at the Research in Software Engineering (RiSE) group at Microsoft Research, gives a demo of the Static Checker that comes with Code Contracts for .NET tools. The static checker allows you to verify that all the assertions in your code hold…

While at TechEd Europe in November 2009 I had a chance to catch up with the two lead developers of the Pex team Peli de Halleux and Nikolai Tillmann to talk about Code Contracts. Code Contracts contains a common library (System.Diagnostics.Contracts) for…

Daryl Zuniga gives a fast and furious demo of the new editor extensions for Code Contracts.NET. When a developer overrides a method with Contracts, the rewritter would automatically insert the pre-conditions and post-conditions in the method body. Unfortunately, the editor is not aware of…

Mike Barnett and Daryl Zuniga, a high school intern at RiSE, sit down to talk about Code Contracts for .NET and documentation. Daryl has been working this summer on a tool that inserts contracts elements into the Xml Documentation files generated by the C#/VB…

Manuel Fähndrich and Peli de Halleux sit down for a quick coding session that shows how to use Code Contracts and Pex together. Code Contracts can be used to specify what your code should do, they get turned into runtime checks which Pex can analyse and try to find…