design by contract (English, noun)
expansion: design by contract (uncountable)
Senses:
topics: computing
engineering
mathematics
natural-sciences
physical-sciences
programming
sciences
glosses: A software design approach that prescribes formal, precise and verifiable interface specifications (contracts) with preconditions, postconditions, and invariants.
tags: uncountable
Forms: