postcondition concept from the Object Oriented Software Engineering knowledge base

Next statement: precondition Up: statement Previous statement: OCL statement

postcondition

subject fact

postcondition has definition A statement that is guaranteed to be true following the successful completion of some action 2001-08-30 14:57:01.0
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 2001-08-30 14:57:47.0

postcondition	has definition A statement that is guaranteed to be true following the successful completion of some action
	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