MSDN Flash Podcast 013 – Code Contracts at TechEd Europe
- Posted: Dec 01, 2009 at 5:43 AM
- 4,035 Views
Download
How do I download the videos?
- To download, right click the file type you would like and pick “Save target as…” or “Save link as…”
Why should I download videos from Channel9?
- It's an easy way to save the videos you like locally.
- You can save the videos in order to watch them offline.
- If all you want is to hear the audio, you can download the MP3!
Which version should I choose?
- If you want to view the video on your PC, Xbox or Media Center, download the High Quality WMV file (this is the highest quality version we have available).
- If you'd like a lower bitrate version, to reduce the download time or cost, then choose the Medium Quality WMV file.
- If you have a Zune, WP7, iPhone, iPad, or iPod device, choose the low or medium MP4 file.
- If you just want to hear the audio of the video, choose the MP3 file.
Right click “Save as…”
- MP3 (Audio only)
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 expressing pre-conditions, post-conditions and invariants which any tool writer can take advantage of. A number of tools are available on devlabs including a documentation extracter and a static analysis tool. Code Contracts works with .Net 4 and .Net 2.
Hear why Code Contracts is a better way of implementing assertions including enabling the conditons to be specified against interfaces - sweet!
Code Contracts contains a common library (System.Diagnostics.Contracts) for expressing pre-conditions, post-conditions and invariants which any tool writer can take advantage of. A number of tools are available on devlabs including a documentation extracter and a static analysis tool. Code Contracts works with .Net 4 and .Net 2.
Hear why Code Contracts is a better way of implementing assertions including enabling the conditons to be specified against interfaces - sweet!
Comments Closed
Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums,
or Contact Us and let us know.