Object Oriented Software Engineering   View all facts   Glossary   Help
subject > programming language construct > statement > OCL statement > OCL statement in a class diagram
UpOCL statement

OCL statement in a class diagram comparison table
Subject state specify is a kind of
OCL statement a logical fact (a constraint) about the system that must remain truestatement
OCL statement in a class diagramthe preconditions and postconditions of operationswhat the values of attributes and associations must beOCL statement

UpOCL statement