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

Nächste Folie

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

Ziele:
Unparser-Generator benutzen

in der Vorlesung:
Rolle der Spezifikationen erläutern:

  • Unparser-Generator generiert Spezifikationen (ptg und lido)!
  • Nur Wurzel und Blätter der Baumgrammatik müssen manuell behandelt werden.
  • Eine andere Variante des Unparser-Generators kann den Eingabetext reproduzieren (:idem statt :tree); nützlich für Spracherweiterungen.