Institut für Programmiermethodik und Compilerbau

• 1: Lehre.
• 2: Forschung.
  • 2.1: Themen.
    • 2.1.1: Constraint Handling Rules.
    • 2.1.2: Constraint-Programmierung.
    • 2.1.3: Experimentelles Software-Engineering.
    • 2.1.4: Integration konventioneller und formaler Methoden der Softwaretechnik.
    • 2.1.5: Model Driven Development.
    • 2.1.6: Programmtransformation / Ultra.
    • 2.1.7: Requirements-Engineering.
  • 2.2: Arbeiten.
  • 2.3: Projekte.
  • 2.4: Publikationen.
  • 2.5: Publikationen externer Doktoranden.
  • 2.6: Veranstaltungen.
• 3: Mitarbeiter.
• 4: Kontakt.