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

Nächste Folie

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

Ziele:
Lido-Notation einführen

in der Vorlesung:
Notation am Beispiel erläutern:

  • typisierte Attribute,
  • Berechnung mit Seiten-Effekt (print),
  • Attributberechnungen,
  • Berechnungsreihenfolge aus Abhängigkeiten,
  • SYNT und INH Attribute