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.
Design by contract programming support
A simple code-contract class for validating method argument preconditions.
Simple Design by contract library supporting PreConditions and PostConditions