Design by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for designing software. It 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.
"Design by Contract" is a registered trademark of Eiffel Software in the United States, and should not be confused with the general design approach. Microsoft calls their design-by-contract programming implementation "Code Contracts".
Read more about Design By Contract: History, Description, Relationship With Software Testing
Famous quotes containing the words design and/or contract:
“What but design of darkness to appall?—
If design govern in a thing so small.”
—Robert Frost (1874–1963)
“The way in which men cling to old institutions after the life has departed out of them, and out of themselves, reminds me of those monkeys which cling by their tails—aye, whose tails contract about the limbs, even the dead limbs, of the forest, and they hang suspended beyond the hunter’s reach long after they are dead. It is of no use to argue with such men. They have not an apprehensive intellect, but merely, as it were a prehensile tail.”
—Henry David Thoreau (1817–1862)