design by contract

Noun

Meaning

design by contract (uncountable)

(programming) A software design approach that prescribes formal, precise and verifiable interface specifications (contracts) with preconditions, postconditions, and invariants.

Source: en.wiktionary.org

Synonyms

DBC programming by contract contract programming

Examples

Design by contract can also facilitate code reuse, since the contract for each piece of code is fully documented. Source: Internet

Close letter words and terms

design design body design book design code design criteria design depth