ContractDriven.NET
Home Page
Categories: Miscellaneous
Latest version: 1.0.0
Added 2009-02-27
Contract Driven Development library for .NET.
Features include:
- support for pre and post-condition checks (Require/Ensure pattern)
- support for Invariant checks
- mechanism to check your code for side-effects as it is run (tracking values)
 Built for .NET 2 |
 Library |
 Free or free version available |
 Source code provided |