Institute of Software Engineering and Compiler Construction

1: Teaching.
2: Research.
- 2.1: Topics.
- 2.2: Theses.
- 2.3: Projects.
  - 2.3.1: ActiveCharts.
  - 2.3.2: GLOB-CON.
  - 2.3.3: Credit Point Systems.
  - 2.3.4: ModKey.
  - 2.3.5: NOVA.
  - 2.3.6: ROARS.
  - 2.3.7: RUBIKON.
  - 2.3.8: Ultra.
- 2.4: Publications.
- 2.5: Publications of External Ph.D. Students.
- 2.6: Events.
3: Staff.
4: Contact.

Ongoing projects

ActiveCharts: Interpreter and debugger for UML 2 activity diagrams (Raschke, Gessenharter)

Former projects

Credit Point Systems: Framework and analysis (Gehring)
GLOB-CON: Rule-Based Propagation of Global Constraints (Frühwirth)
ModKey: Modules for teaching key qualifications (Kohlmeyer)
NOVA: Web-based support for organisation, decision making, and preselection in the context of selection procedures (Bolz)
ROARS: Reuse-Oriented Automated Reasoning Software (Frühwirth)
RUBIKON: Framework to support the goal- and demand-driven design, implementation, and evaluation of adaptable modular courses (Baetge)
TkGofer: A library for writing GUIs in the functional language Gofer (Vullinghs)
Ultra: An interactive program transformation system for Haskell programs (Guttmann)