design by contract

See also: Design by Contract

English

Etymology

Coined by French computer scientist Bertrand Meyer.

Noun

design by contract (uncountable)

1. (programming) 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

Translations

• Finnish: sopimuspohjainen ohjelmointi
• German: Design by Contract m

Further reading

• design by contract on Wikipedia.Wikipedia