• An approach for designing software. DBC prescribes that software designers should define formal, precise, and verifiable interface specifications for software components, which extend the ordinary definition of abstract data types with preconditions, postconditions, and invariants. These specifications are referred to as “contracts,” in accordance with a conceptual metaphor with the conditions and obligations of business contracts. The approach assumes all client components that invoke an operation on a server component will meet the preconditions specified as required for that operation. ← Wikipedia

1. Related terms: Contract testing
2. Previous term: Design
3. Next term: Design debt
4. Random term: Endpoint security (webglossary.info/random 🎲)