Vorlesung Generierung von Software aus Spezifikationen WS 2002 - Folie Nr. 511
Ziele
:
Abhängigkeiten verstehen
in der Vorlesung
:
Themen der Folie erläutern:
Abhängigkeiten,
Formulierung mit CONSTITUENTS und INCLUDING,
SHIELD-Konstrukt,
Meldung