Vorlesung Generierung von Software aus Spezifikationen WS 2002 - Folie Nr. 512
Ziele
:
Eigenschaften benutzen
in der Vorlesung
:
Zu Eigenschaften erläutern:
definieren,
setzen und lesen,
Abhängigkeiten.