|
Definition of Design by contract
1. Proper noun. (software design) an approach for designing software that prescribes that software designers should define formal, precise and verifiable interface specifications ("contracts") for software components that extend the ordinary definition of abstract data types with preconditions, postconditions and invariants. ¹
¹ Source: wiktionary.com