Code Contracts Primer

Code Contracts Primer by Derik Whittaker looks like a nice intro to Code Contracts:

  1. Introduction
  2. Handling Legacy Code
  3. Providing Support for Unit Tests
  4. Utilizing Pre and Post Conditions
  5. Utilizing Object Invariants
  6. Interface Contracts
Advertisements