Institut für Programmiermethodik
und Compilerbau
- 1:
Lehre.- 1.1:
Sommersemester 2012. - 1.2: Wintersemester 2011/2012.
- 1.2.1:
Constraint-Programmierung. - 1.2.2: Embedded Softwareengineering im Bereich Automotive.
- 1.2.3: Funktionale Programmierung.
- 1.2.4: Grundlagen des Übersetzerbaus.
- 1.2.5: Management von Softwareprojekten.
- 1.2.6: Softwaretechnik I.
- 1.2.7: Algebraische Strukturen als Grundlage der Informatik.
- 1.2.8: Formale Spezifikationssprachen und ihre Semantik.
- 1.2.9: Techniken der formalen Programmentwicklung an Hand von Beispielen.
- 1.2.10: Fortgeschrittene Anwendungstechniken für typische Informatiksysteme.
- 1.2.11: Logikbasierte Programmiersprachen.
- 1.2.12: Constraint-Programmierung Praxis.
- 1.2.13: Entwicklung konkreter Anwendungen nach ausgewählten Prinzipien des Software Engineering.
- 1.2.14: Experimentelles Softwareengineering.
- 1.2.15: Softwaregrundprojekt (Sopra).
- 1.2.1:
- 1.3: Regelmäßig angebotene Lehrveranstaltungen.
- 1.4: Frühere Lehrveranstaltungen.
- 1.5: Themen für Diplomarbeiten, Masterarbeiten und Individualpraktika.
- 1.1:
- 2: Forschung.
- 3: Mitarbeiter.
- 4: Kontakt.
Seminar Formale Spezifikationssprachen und ihre Semantik
Die Vorbesprechung findet am Mittwoch, 19.10.2011 ab 12:00 Uhr in O27-412 statt.
Inhalt des Seminars
Mit formalen Spezifikationssprachen lassen sich nicht nur Anforderungen an Systeme präzise formulieren, sondern auch Eigenschaften (wie etwa Sicherheit oder Lebendigkeit) beweisen oder logische Schlussfolgerungen ziehen, die z.B. herangezogen werden können, um die Plausibilität und die Adäquatheit der Anforderungen zu überprüfen.
Das Seminar befasst sich mit verschiedenen aktuellen formalen Spezifikationssprachen (z.B. ASM, CafeOBJ, RAISE, TLA+, VDM und Z), ihrer Semantik und der Art und Weise, wie man damit Beweise führen kann.
Zugrundeliegende Literatur
- D. Bjørner und M. C. Henson (Herausgeber): Logics of Specification Languages. Monographs in Theoretical Computer Science, Springer, 2008.
Prof. Dr. Helmuth Partsch