OOPM 2016/17 - 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
- Versuche zur Spezifikation weiterer Anforderungen
page revision: 1, last edited: 08 Nov 2016 23:47