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.3: Regelmäßig angebotene Lehrveranstaltungen.
  • 1.4: Frühere Lehrveranstaltungen.
  • 1.5: Themen für Diplomarbeiten, Masterarbeiten und Individualpraktika.
• 2: Forschung.
• 3: Mitarbeiter.
• 4: Kontakt.