One of the ProgrammingLanguage

Interactive SoftwareEngineering is the orginator of DesignByContract. 

http://www.eiffel.com

----
CategoryLanguage