Organisatorisches
Die Vorbesprechung findet am Mittwoch, 15.04.2015 ab 12:15 Uhr in O27-411 Nord statt.
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
- CASL
- Petrinetze
Zugrundeliegende Literatur
- Habrias, H., Frappier, M. (eds.): Software Specification Methods. London: ISTE 2006