returned for Tags:"Design-By-Contract"
NContract is a design by contract library that lets you write oneliners to verify parameters in constructors and methods instead of using more verbose if statements.
A simple code-contract class for validating method argument preconditions.
Design by contract programming support
Simple Design by contract library supporting PreConditions and PostConditions