DbC

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:software
gptkbp:appliesTo object-oriented programming
gptkbp:focusesOn defining formal, precise and verifiable interface specifications
https://www.w3.org/2000/01/rdf-schema#label DbC
gptkbp:influenced software reliability
test-driven development
software correctness
gptkbp:introduced gptkb:Bertrand_Meyer
gptkbp:relatedTo formal methods
assertions
software contracts
gptkbp:specifies postconditions
preconditions
invariants
gptkbp:standsFor gptkb:Design_by_Contract
gptkbp:usedIn gptkb:Eiffel_programming_language
gptkbp:bfsParent gptkb:Design_by_Contract
gptkbp:bfsLayer 7