Vorlesung Generierung von Software aus Spezifikationen WS 2002 - Folie Nr. 511

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 501-515 als PDF

Ziele:
Abhängigkeiten verstehen

in der Vorlesung:
Themen der Folie erläutern:

  • Abhängigkeiten,
  • Formulierung mit CONSTITUENTS und INCLUDING,
  • SHIELD-Konstrukt,
  • Meldung