Aktuelle Projekte

ActiveCharts

Interpreter und Debugger für UML 2 Aktivitätsdiagramme

CoreASM

Entwicklung eines Debuggers für Abstract State Machines

Ensure

ENsurance of Software evolUtion by Run-time cErtification

Fλux

Visualisierung von Haskell Programmen als Datenfluss Diagramme

Inline

Nicht-lineare Darstellung von Source Code mit Code Portalen

Planspiel SWT

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

ConMEq

Automatic Support for Proving Confluence Modulo Equivalence for CHR

FormalCog

Formal Semantics and Analysis of Cognitive Architectures

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