Code Contracts

Code contracts is interesting topic to discover for me. Although it is new technology that is currently the lab rat of DevLabs it looks still very promising and useful. In this page you can find my postings about code contracts, references to other useful resources and download links to my presentation and example solution.

Code Contracts
Code Contracts @ DevLabs | MS Research | MSDN | BCL Team Blog

Feel free to use the content here in your own sessions but please don't forget to mention me as author and this blog as source of this information.

My postings about code contracts

  1. Controlling randomizer using code contracts
  2. Using runtime checking of code contracts in Visual Studio 2010
  3. Hiding ContractException
  4. Unit testing contracted code
  5. Interface contracts – forcing code contracts through interfaces
  6. Invariant code contracts – using class-wide contracts
  7. Code contracts and inheritance
  8. Enabling XML-documentation for code contracts
  9. Using Sandcastle to build code contracts documentation
  10. Code Contracts: How they look after compiling?
  11. Code Contracts: validating arrays and collections

My session files

The presentation and Visual Studio 2010 solution here are prepared for sessions. Presentation contains hidden slides with references to most important pages and other resources. Visual Studio 2010 solution contains source code you can show to audience and also presentation guides for code examples.

Other resources


These are tools that I use in my sessions about code contracts.

If you want to find out more about code contracts feel free to send me your question. I cannot guarantee 100% that I will blog about your topic but if I have time enough then I will blog for sure.

No Comments