Object Oriented Software Engineering   View all facts   Glossary   Help | 
| subject > programming language construct > statement > precondition | 
| precondition | ||||
| subject | fact | |||
| precondition | has definition A statement that must be true before some algorithm, method or use case is executed | ![]()  | 
| is a subtopic of 10.4 - Defects in Numerical Algorithms | ![]()  | |
| is a subtopic of 7.3 - Developing Use Case Models of Systems | ![]()  | |
| is a kind of statement | ![]()  | |
| statement | should be not more than one line long if possible | ![]()  |