Object Oriented Software Engineering View all facts Glossary Help| Object Oriented Software Engineering View all facts Glossary Help |
| subject > programming language construct > statement > postcondition |
  | |||
| postcondition comparison table | |||
| Subject | is a kind of | is a subtopic of | has definition |
|---|---|---|---|
| statement | programming language construct | The Basics of Java | |
| postcondition | statement | 7.3 - Developing Use Case Models of Systems | A statement that is guaranteed to be true following the successful completion of some action |
Next statement: precondition Up: statement Previous statement: OCL statement