design by contract

From Wiktionary, the free dictionary

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

Finnish: sopimuspohjainen ohjelmointi
German: Design by Contract m

Further reading[edit]

design by contract on Wikipedia.Wikipedia

Retrieved from "https://en.wiktionary.org/w/index.php?title=design_by_contract&oldid=73171425"

Hidden category:

Translation table header lacks gloss