Aktuelle Projekte

ActiveCharts

Interpreter und Debugger für UML 2 Aktivitätsdiagramme

Entwicklung eines Debuggers für Abstract State Machines

ENsurance of Software evolUtion by Run-time cErtification

Visualisierung von Haskell Programmen als Datenfluss Diagramme

Nicht-lineare Darstellung von Source Code mit Code Portalen

Realistische Simulation von SE Projekten für den Einsatz in der Lehre

Automatic Support for Proving Confluence Modulo Equivalence for CHR

Formal Semantics and Analysis of Cognitive Architectures

Model TransformatIon PerformanCe Engineering

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