Humboldt-Universität zu Berlin,Institut für Informatik,Prof. Dr. Holger Schlingloff
Formale Methoden der Systemspezifikation
Hier finden Sie Informationen und Unterlagen zur Veranstaltung
"Formale Methoden der Systemspezifikation" im SS 2008.
Dieser Halbkurs besteht aus zwei Teilen:
einer Blockveranstaltung mit dem Titel "Algebraische Spezifikation von Software und Hardware", die sich mit Prozessalgebren und algebraischen Datentypen beschäftigt, sowie
einer 2-stündigen Vorlesung, die als Inhalt logische Spezifikationsmethoden und zugehörige Verifikationsverfahren hat.
Beide Teile werden an Hand von anschaulichen Beispielen aus der industriellen Praxis hinterlegt.
Teil 1 (die Blockveranstaltung "Algebraische Spezifikation) findet an zwei aufeinander folgenden Wochenenden statt, voraussichtlich 23.-25.5. und 30.5.-1.6.2008. Dieser Teil wird im Rahmen eines Kooperationsprogramms mit der University of Swansea, Wales in Zusammenarbeit mit Dr. Markus Roggenbach durchgeführt.
Teil 2, die Vorlesung "Logische Spezifikation", hat als geplanten Inhalt verschiedene logische Formalismen, die an Hand von praxisrelevanten Beispielen erläutert werden.
Aktuelles
3.7.2008: Prüfungstermine sind am 3.9., 4.9. und ggf. 7.10.2008.
Anmeldung ab sofort bei Frau Heene (JvN IV.417),
Anmeldungszeiten: Di-Do 9.00-11.30 und 13.00-14.30 Uhr.
Vorlesungsunterlagen (in English)
Alle Foliensätze (C) H. Schlingloff, 2008. Verwendung gestattet nur für den
prvaten eigenen Gebrauch; Weitergabe nur mit vorheriger schriftlicher Genehmigung!
Die Übungsblätter werden jeweils Dienstags in der Vorlesung ausgegeben;
Abgabe der Lösungen ist jeweils eine Woche später in der Vorlesung.
Die Übungsaufgaben sind in englischer Sprache und müssen auf englisch gelöst werden.
24.6.2008: Exercise 5 (OCL with Octopus) (pdf, doc)
27.5.2008: Exercise 4 (CZT - Information System Specification) (pdf, doc)
20.5.2008: Exercise 3 (Z Specification in CZT) (pdf, doc)
29.4.2008: Exercise 2 (Model Checking with NuSMV) (pdf, doc)