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

Nächste Folie

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

Ziele:
CONSTITUENTS wiederholen

in der Vorlesung:

  • Zusammenfassung der Werte erläutern.
  • Die 2-stellige Funktion muss assoziativ sein,
  • Die 0-stellige Funktion muss neutral bzgl. der 2-stelligen sein.

Verständnisfragen:
Welche Attribute und Berechnungen müssen Sie einfügen, wenn Sie das Konstrukt ersetzen wollten?