design by contract

See also: Design by Contract

English

Noun

design by contract (uncountable)

1. (software, design) A software design approach that prescribes that software designers should define formal, precise and verifiable interface specifications ("contracts") for software components that extend the ordinary definition of abstract data types with preconditions, postconditions and invariants.

Synonyms

• contract programming
• DbC
• programming by contract

 

Hypernyms

• design (structurally)
• programming

Translations

Translations

• Finnish: sopimuspohjainen ohjelmointi
• (deprecated template usage) {{trans-mid}}
• German: Design by Contract m, Entwurf gemäß Vertrag m

References

• design by contract on Wikipedia.Wikipedia