Institut für Programmiermethodik und Compilerbau
- 1:
Lehre. - 2: Forschung.
- 2.1:
Themen.- 2.1.1:
Automatisierter Softwaretest. - 2.1.2: Bio-Baukasten.
- 2.1.3: Constraint Handling Rules.
- 2.1.4: Constraint-Programmierung.
- 2.1.5: Experimentelles Software-Engineering.
- 2.1.6: Integration konventioneller und formaler Methoden der Softwaretechnik.
- 2.1.7: Model Driven Development.
- 2.1.8: Programmtransformation.
- 2.1.9: Requirements-Engineering.
- 2.1.1:
- 2.2: Arbeiten.
- 2.3: Projekte.
- 2.4: Publikationen.
- 2.5: Veranstaltungen.
- 2.1:
- 3: Mitarbeiter.
- 4: Kontakt.
Forschungsbereiche
- Automatisierter Softwaretest (Gerlich)
- Bio-Baukasten (Partsch, Kohlmeyer)
- Constraint Handling Rules CHR (Frühwirth, Betz, Raiser)
- Constraint-Programmierung (Frühwirth, Betz, Raiser)
- Experimentelles Software-Engineering (Partsch, Raschke, Gessenharter)
- Integration konventioneller und formaler Methoden der Softwaretechnik (Partsch, Guttmann)
- Model Driven Development (Raschke, Kohlmeyer, Gessenharter)
- Programmtransformation (Partsch, Guttmann)
- Requirements-Engineering (Partsch, Kohlmeyer)
Arbeiten
- Betreute Dissertationen
- Abgeschlossene Bachelorarbeiten, Masterarbeiten und Diplomarbeiten
- Themen für Diplomarbeiten, Masterarbeiten und Individualpraktika
Aktuelle Projekte
- ActiveCharts: Interpreter und Debugger für UML 2 Aktivitätsdiagramme (Raschke, Kohlmeyer, Gessenharter)