Forschung Forschungsprojekte

Vision

Die ständig wachsende Komplexität und Sicherheitsverantwortung von Software, etwa zur Steuerung und Überwachung technischer Prozesse, führt derzeit in vielen Industriebranchen zu hohem Aufwand bei der Erstellung und dem Qualitätsnachweis verlässlicher Produkte. Größe- und Zuverlässigkeitsanforderungen stellen heute neue Herausforderungen an fundierte Verfahren zur systematischen Erzielung und Bewertung der Qualität des Entwicklungsprozesses und des Endprodukts - Verfahren, die von industrieller Seite dringend benötigt werden. Dieser Bedarf besteht umso mehr angesichts der zunehmenden wirtschaftlich attraktiven Wiederverwendung betriebsbewährter Standardmodule, die auf Dauer eine länder- und anwendungsübergreifende Normierung des Entwicklungsprozesses voraussetzen wird; an einer solchen wird derzeit im Rahmen einer Reihe internationaler Regelwerke gearbeitet.

Diese Fragestellungen sind Gegenstand der Forschungsaktivitäten am Lehrstuhl für Software Engineering. Der Forschungsschwerpunkt "Erstellung und Qualitätsnachweis zuverlässiger komplexer Software" umfasst im wesentlichen die folgenden Problemfelder:

Zur Untersuchung obiger übergeordneter Zielsetzungen gehören u. a. folgende Forschungsthemen: