design by contract
Sign in to saveAlso known as design-by-contract, contract programming, programming by contract, design-by-contract programming, DbC
design of software based on formal, precise and verifiable interface specifications for software components
In the Vinony graph
Within Vinony's link graph, design by contract is referenced by 503 other articles, and connects out to design, class and exception handling.
It is catalogued under topics including Programming paradigms and Software design.
Its subject is documented across 22 Wikipedia language editions.
Wikidata facts
- Instance of
- programming paradigm
- Has parts of class
- postcondition
Show 2 more facts
- short name
- DbC
- discoverer or inventor
- Bertrand Meyer
Sources (2)
via Wikidata · CC0
Connections
design
Entity
class
Entity
exception handling
Entity
user experience design
Entity
Hoare logic
Entity
safe typing
Entity
design–build
Entity
strategic design
Entity
architecture
Entity
photography
Entity
engineering
Entity
programming language
Entity
algorithm
Entity
advertising
Entity
C++
Entity
furniture
Entity
object-oriented programming
Entity
typography
Entity
Ada
Entity
graphic design
Entity