Forschung

Leitmotive unserer Forschungsarbeiten

• Komplexität, Qualität und Variabilität moderner Software-Systeme nachvollziehen und beherrschen.
• Die Wirkung von Software-Systemen in sich wandelnden Anwendungskontexten zu jedem Zeitpunkt verstehen und kontrollieren.
• Lösungsansätze sowohl theoretisch fundieren, als auch durch praxistaugliche Werkzeuge nutzbar machen.

Forschungsschwerpunkte

Wir orientieren uns an den kanonischen Arbeitsfeldern der Software-Technik, wobei ganzheitliche Lösungansätze naturgemäß querschneidend zu diesen Feldern sein müssen.

Software-Projektmanagement: Vorgehensmodelle für moderne Software-Projekte integrieren neuartige Entwicklungsprinzipien.

• Agilität: Änderungsszenarien jeglicher Art werden der neue Normalfall.
• Kontinuität: Die künstlichen Grenzen zwischen den klassichen Lebensphasen einer Software (Entwicklung, Qualitätssicherung, Wartung, Evolution) lösen sich de facto auf.

Software-Entwicklung: Spezifikationsmodelle für moderne Software-Systeme erfassen wesentliche Charakteristiken cyber-phsysikalischer Software-Systeme.

• Computation: Klassische (diskrete) Prozess- und Automatenmodelle.
• Control: Hybride (diskrete/kontinuierliche) Verhaltensmodelle für Mischformen aus klassischen und intelligenten Komponenten.
• Communication: Modellierung von Nebenläufigkeit, Verteiltheit und Mobilität.

Software-Qualität. Qualitätssicherungsmaßnahmen für moderne Software-Systeme ermöglichen einen kontrollierbaren Kompromiss zwischen Effizienz und Effektivität.

• Umfassende Unit-Tests und Regressionstests werden selbstverständlich.
• Nachvollziehbarkeit und Automatisierung von Qualitätssicherungsmaßnahmen werden vereinbare Ziele.  

Software-Konfiguration. Konfigurationsmanagament für moderne Software-Systeme umfasst Konzepte für den systematischen Umgang mit 

• Variabilität im Raum (variantenreiche Software-Systeme),
• Variabilität über die Zeit (Versionsmanagement) sowie
• Variabilität zur Laufzeit (Selbst-adaptive Software-Systeme).

Forschungsprojekte

• Kontinuierliche Programmsynthese
• A Calculus of Relational Database-Manipulation Processes
• Co-InCyTe