Institut für Programmiermethodik und Compilerbau

1: Lehre.
2: Forschung.
- 2.1: Themen.
- 2.2: Arbeiten.
- 2.3: Projekte.
  - 2.3.1: GLOB-CON.
  - 2.3.2: Leistungspunktesysteme.
  - 2.3.3: ModKey.
  - 2.3.4: NOVA.
  - 2.3.5: ROARS.
  - 2.3.6: RUBIKON.
  - 2.3.7: Ultra.
- 2.4: Publikationen.
- 2.5: Veranstaltungen.
3: Mitarbeiter.
4: Kontakt.

Aktuelle Projekte

ActiveCharts: Interpreter und Debugger für UML 2 Aktivitätsdiagramme (Raschke, Kohlmeyer, Gessenharter)

Frühere Projekte

GLOB-CON: Rule-Based Propagation of Global Constraints (Frühwirth)
Leistungspunktesysteme: Rahmenwerk und Bilanz (Gehring)
ModKey: Module zur Vermittlung von Schlüsselqualifikationen (Kohlmeyer)
NOVA: Netz-basierte Unterstützung für Organisation, Entscheidungsfindung und Vorauswahl im Rahmen von Auswahlverfahren (Bolz)
ROARS: Reuse-Oriented Automated Reasoning Software (Frühwirth)
RUBIKON: Rahmenwerk zur Unterstützung der Ziel- und Bedarfsorientierten Konzeption, Durchführung und Evaluation anpassbarer modularer Lehrveranstaltungen (Baetge)
TkGofer: Eine Bibliothek für graphische Benutzeroberflächen in der funktionalen Programmiersprache Gofer
Ultra: Ein interaktives Programmtransformationssystem für Haskell-Programme (Guttmann)