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