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 Techniken der formalen Programmentwicklung an Hand von Beispielen
Die Vorbesprechung findet am Mittwoch, 19.10.2011 ab 13:00 Uhr in O27-412 statt.
Inhalt des Seminars
Formale Programmentwicklung beginnt mir einer formalen Problemspezifikation und zielt darauf ab, mit mathematisch-logischen Methoden sicherzustellen, dass eine entwickelte Lösung des Problems korrekt ist. Eine mögliche Vorgehensweise in diesem Kontext ist die Verifikation, bei der man i.W. einen Beweis führt, dass die Lösung die Spezifikation erfüllt. Eine andere Vorgehensweise ist die Transformation, bei der durch (meist interaktive) Anwendung korrektheitserhaltender Umformungsregeln eine Lösung konstruiert wird, die dann per Konstruktion korrekt ist.
Wie man bei Verifikation und Transformation konkret vorgeht, wird im Seminar anhand interessanter und anspruchsvoller Beispiele behandelt.
Zugrundeliegende Literatur
- O. Danvy, F. Henglein, H. Mairson und A. Pettorossi (Herausgeber): Automatic Program Development. Springer, 2008.
Prof. Dr. Helmuth Partsch