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 | ![]() |