One of the ProgrammingLanguage
Interactive SoftwareEngineering is the orginator of DesignByContract.
http://www.eiffel.com
CategoryLanguage