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

Nächste Folie

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

Ziele:
Prinzip der SYMBOL-Berechnungen erkennen

in der Vorlesung:
SYMBOL-Berechnungen an den Beispielen der Folie erläutern:

  • THIS, SYNT, INH stehen in Berechnungen für das betreffende Symbol.
  • In SYMBOL-Berechnungen kann nicht auf Attribute von Symbolen aus einem Regelkontext Bezug genommen werden.