Fußnoten Kap. 1

Fußnoten Kap. 2

Fußnoten Kap. 3

Fußnoten Kap. 4

Fußnoten Kap. 5

Fußnoten Kap. 6

Fußnoten Kap. A

Fußnoten Kap. B

Fußnoten Kap. C

Fußnoten zu Kapitel B

1 Der Operator @pre steht in OCL-Bedingungen für Attribute und Parameter zur Verfügung und bezeichnet die jeweiligen Werte zu Beginn des Aufrufs.

2 In Java müssen solche Hilfsvariablen als normale Variablen deklariert werden und können daher im Produktionscode verwendet werden.

Bernhard Rumpe. Modellierung mit UML. Springer 2011