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

Nächste Folie

Vorherige Seite Zur Übersicht Nächste Seite | Folien 401-412 als PDF

Ziele:
Abstrakte Symbol-Rollen

in der Vorlesung:

  • Notation und Beispiele erläutern.
  • Hinweis auf Bibliothek von Spezifikationen.