design by contract

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:software
gptkbp:alsoKnownAs gptkb:DbC
gptkbp:appliesTo object-oriented programming
gptkbp:category software engineering
gptkbp:describedBy gptkb:Object-Oriented_Software_Construction
gptkbp:firstDescribed 1986
gptkbp:focusesOn formal specification of software components
gptkbp:goal improve software reliability
reduce software bugs
https://www.w3.org/2000/01/rdf-schema#label design by contract
gptkbp:influenced test-driven development
software correctness
assertions in programming
gptkbp:introduced gptkb:Bertrand_Meyer
gptkbp:involves postconditions
preconditions
invariants
gptkbp:relatedTo formal methods
defensive programming
software contracts
gptkbp:usedIn gptkb:Eiffel_programming_language
gptkbp:bfsParent gptkb:Code_Contracts
gptkbp:bfsLayer 7