OCL (Forts.)
Einsatz in UML: Spezifikation von
Invarianten auf Klassen und Typen
Vor- und Nachbedingungen für Operationen
Einschränkungen auf Operationen
Zusatzbedingungen (in [ ])
Vorherige Folie
Nächste Folie
Zurück zur ersten Folie
Graphik-Version anzeigen