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:
“With wonderful art he grinds into paint for his picture all his moods and experiences, so that all his forces may be brought to the encounter. Apparently writing without a particular design or responsibility, setting down his soliloquies from time to time, taking advantage of all his humors, when at length the hour comes to declare himself, he puts down in plain English, without quotation marks, what he, Thomas Carlyle, is ready to defend in the face of the world.”
—Henry David Thoreau (1817–1862)
“Smoking ... is downright dangerous. Most people who smoke will eventually contract a fatal disease and die. But they don’t brag about it, do they? Most people who ski, play professional football or drive race cars, will not die—at least not in the act—and yet they are the ones with the glamorous images, the expensive equipment and the mythic proportions. Why this should be I cannot say, unless it is simply that the average American does not know a daredevil when he sees one.”
—Fran Lebowitz (b. 1950)