design by contract
Jump to navigation
Jump to search
See also: Design by Contract
English
[edit]Etymology
[edit]Coined by French computer scientist Bertrand Meyer.
Noun
[edit]design by contract (uncountable)
- (programming) A software design approach that prescribes formal, precise and verifiable interface specifications (contracts) with preconditions, postconditions, and invariants.
Synonyms
[edit]Translations
[edit]Translations
|
Further reading
[edit]design by contract on Wikipedia.Wikipedia