OOPM 2015/16 - Algebraische Spezifikation

Skript zur Vorlesung

Die Methode der algebraischen Spezifikation: [.pdf]

Beispielspezifikation

[*.asl]

Fragestellungen aus der Vorlesung

  • Was sind die Sorten (Typen, Klassen, etc.), welche ein System ausmachen?
  • Was sind die Operationen (Funktionen, Methoden, etc.) welche dazu benötigt werden?
  • Was sind die Eigenschaften der Operationen?

Empfehlungen zur Nachbereitung

  • Siehe vorhergehende Vorlesung
  • Versuche zur Spezifikation weiterer Anforderungen