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

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 301-312 als PDF

Ziele:
Vorrat kennenlernen

in der Vorlesung:

  • Einige der Symbole erläutern
  • Auf die Beschreibung in der Dokumentation verweisen.