Seminar Methoden der Software-Spezifikation
In dem Seminar geht es um die Vorstellung verschiedener (graphischer und textueller) Spezifikationsmethoden anhand eines gemeinsamen Beispiels.
Mögliche Themen sind u.a.
- Z
- B
- ASM
- UML+Z
- Event B
- Estelle
- SDL
- CASL
- Petrinetze
Zugrundeliegende Literatur
- Habrias, H., Frappier, M. (eds.): Software Specification Methods. London: ISTE 2006