Get started using contracts!
- Hello and welcome! We are a cross group team from Microsoft Research and the CLR team that want you to enjoy the benefits of design-by-contract programming from any .NET programming language! We are delighted to be joining Pex and Chess as projects originally from Microsoft Research that are now available on DevLabs.
Our primary goal is to make our tools usable for you! So please use these forums to ask questions, share your experiences, and above all ask for improvements. We really want to hear from you!
To get started, please download the appropriate the installer:
- Academic License: For non-commercial use (e.g. teaching or trying it out). Works with all editions of Visual Studio 2008 (except Express).
- Commercial License: The commercial-use download is available through DevLabs. There are two versions there, so please read the instructions to understand which version to install.
- Documentation. Clicking on this should show you the link "Contracts User Manual".
- Samples Clicking on this should open up a zip folder with a set of folders within it, one per sample. Each sample comes with a short document explaining how to run the sample and what it is meant to demonstrate.
Another way to get you started is to watch the video tutorial.
If you have any problems please let us know!
Thanks in advance,
The Code Contracts Team- Edited byManuel FahndrichMSFT, OwnerMonday, February 23, 2009 6:45 PMshortened title
- Edited byManuel FahndrichMSFT, OwnerMonday, February 23, 2009 7:04 PMAdded video link
- Edited byManuel FahndrichMSFT, OwnerMonday, February 23, 2009 7:46 PMAdded download links
All Replies
- I posted a presentation on Microsoft Code Contracts for my company that introduces developers to the framework. Check it out and let me know what you think.
