• 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. More about this term (beta): Web search, articles and videos, books
2. Previous term: Design
3. Next term: Design debt
4. Random term: CSS framework