Forschungsgruppe
Software Engineering

Die Forschungsgruppe Software Engineering beschäftigt sich mit modellbasierten Methoden und Werkzeugen zur Softwareentwicklung für kritische Systeme: Im Bereich Softwarequalität arbeiten wir an der Analyse von Geschäftsprozess- und Software-Modellen auf Qualitätsattribute wie IT-Sicherheit und Compliance und statischer sowie laufzeitbasierter Software-Verifikation. Im Bereich Management von Software-Großprojekten arbeiten wir an der Erfassung und Analyse nicht-funktionaler Anforderungen. Zum Thema Softwarewartbarkeit untersuchen wir die Erhaltung von Anforderungen bei Software-Evolution. Unsere Methoden und Werkzeuge wenden wir dabei u.a. auf Software-as-a-Service (SaaS) und Cloud-orientierte Softwarearchitekturen an, in denen noch keine "best practice" für sichere Entwicklung existiert.