(Q1200691)

English

design by contract

design of software based on formal, precise and verifiable interface specifications for software components

design-by-contract
contract programming
programming by contract
design-by-contract programming

In more languages

edit

Statements

instance of

programming paradigm

0 references

has part(s) of the class

precondition

0 references

postcondition

0 references

Identifiers

1 reference

28 October 2013

Microsoft Academic ID

80291951

0 references

OmegaWiki Defined Meaning

0 references

1 reference

26 January 2022

https://docs.openalex.org/download-snapshot/snapshot-data-format

1 reference

(Q1200691)

design by contract

Statements

Identifiers

Sitelinks

Wikipedia(19 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)