design by contract en · NOUN
Etymology
Coined by French computer scientist Bertrand Meyer.
Meanings
- (uncountable) A software design approach that prescribes formal, precise and verifiable interface specifications (contracts) with preconditions, postconditions, and invariants.
Synonyms
contract programming · DbC · programming by contract
Translations (3)
de Design by Contract (Translations) · fi sopimuspohjainen ohjelmointi (Translations) · pl programowanie kontraktowe (Translations)