Aktuelle Projekte
Frühere Projekte
- ActiveCharts: Interpreter und Debugger für UML 2 Aktivitätsdiagramme (Raschke, Gessenharter)
- GLOB-CON: Rule-Based Propagation of Global Constraints (Frühwirth)
- RoboSail: Long-term Routing for Autonomous Robot Sailboats with Constraint Handling Rules (Frühwirth)
- Terminator: Termination Analysis for Constraint Handling Rules (Frühwirth)
- Analysator: Platform-independent Analysis and Implementation of Constraint Handling Rules (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 (Vullinghs)
- Ultra: Ein interaktives Programmtransformationssystem für Haskell-Programme