design by contract

See also: Design by Contract

English

Etymology

Coined by French computer scientist Bertrand Meyer.

Noun

design by contract (uncountable)

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

Synonyms

Translations

Translations

Finnish: sopimuspohjainen ohjelmointi
German: Design by Contract m

Further reading

design by contract on Wikipedia.Wikipedia

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.