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).