Institut für Informatik - Arbeitsgruppe Software Engineering
	Software Engineering

Die Arbeitsgruppe Software Engineering beschäftigt sich mit der Gestaltung komplexer Software-Systeme. Dies umfasst die Entwicklung von Konzepten und Werkzeugen zur Modellierung und Programmierung, zur Automatisierung der Systemerstellung sowie der Qualitätssicherung durch Verifikation und Testen.

Ein Schwerpunkt bildet die Integration der Bereiche Entwicklung und Qualitätssicherung. Auf dem Gebiet des Embedded Software Engineering werden beispielsweise Systeme grafisch modelliert und gleichzeitig Echtzeitfehler im Entwicklungsmodell visualisiert. Andere Anwendungsgebiete für die Integration von Modell und Qualitätssicherung sind die Geschäftsprozessmodellierung mit Berücksichtigung von Ablaufregeln und Modell-getriebenes Verifizieren und Testen.