![]() |
subject > criterion > constraint |
![]() ![]() | ||||
constraint | ||||
subject | fact |
constraint | can be written in in any language supported by a given tool | ![]() |
cannot compute a non-boolean result | ![]() | |
cannot have any side-effects | ![]() | |
cannot modify any data | ![]() | |
has definition A small block of text in curly brackets embedded in a UML diagram. It is normally written in a formal language which can be interpreted by a computer | ![]() | |
expresses a logical statement that should evaluate to true | ![]() | |
is a subtopic of 5.6 - More Advanced Features of Class Diagrams | ![]() | |
is written in braces (curly brackets) in a UML diagram | ![]() | |
is a kind of criterion | ![]() |