Design by contract topic
Also known as
- Add other possible names for this topic
Design by Contract (DbC) or Programming by Contract is an approach to designing computer software. It prescribes that software designers should define formal, precise and verifiable interface specifications for software components based upon the theory of abstract data types and the conceptual metaphor of a business contract. Thus, it can be considered as an evolution of the abstract data type theory.
Because Design by Contract is a registered trademark of Interactive Software Engineering, Inc....
full article at wikipedia
With the exception of Wikipedia summaries and some images the
content on this page is typically distributed under
the Creative Commons
Attribution license or Public Domain.
The original description for this topic was automatically generated from the Wikipedia article "Design by contract" licensed under the GNU Free Documentation License .
| Gallery | add |
There are no images for this topic yet.
Recent Discussions about Design by contract
There are no conversations on this topic. Would you like to start one?
Start the Discussion »