design by contract

See also: Design by Contract

English

Noun

design by contract (uncountable)

(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.

Abbreviations

DbC

Synonyms

Hypernyms

design (structurally)
programming

Translations

Translations

Finnish: sopimuspohjainen ohjelmointi

German: Design by Contract m, Entwurf gemäß Vertrag m

References

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.