OOPM 2015/16 - Algebraische Spezifikation
Skript zur Vorlesung
Die Methode der algebraischen Spezifikation: [.pdf]
Beispielspezifikation
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
page revision: 5, last edited: 19 Nov 2015 18:40