Object Oriented Software Engineering   View all facts   Glossary   Help | 
| subject > process > design > design by contract | 
| design by contract | ||||
| subject | fact | |||
| design by contract | has definition An approach to design in which each method has a contract with its callers regarding preconditions, postconditions and invariants | ![]()  | 
| is a subtopic of 9.2 - Principles Leading to Good Design | ![]()  | |
| is a kind of design | ![]()  | |
| design | determines how components will be implemented in a system | ![]()  | 
has goals 
  | ![]()  | |
| has part detailed design | ![]()  | |
| has part modelling | ![]()  | |
| has part programming | ![]()  | |
| has part software architecture^2 | ![]()  | |
| has part systems engineering | ![]()  | |
| has part user interface design | ![]()  | |
| requires considerable experience | ![]()  | |
| see also design^2 | ![]()  |