Ein zentrales Ziel des Software Engineering ist die wirtschaftliche Herstellung qualitativ hochwertiger Softwaresysteme. Es werden daher Methoden und Werkzeuge zur Automatisierung der Entwicklungsschritte benötigt, wobei gleichzeitig die Qualität der Systeme sichergestellt werden muss. Ein aktueller Ansatz ist die Modell-getriebene Software-Entwicklung (Model-Driven Software Development, MDD), d.h. die automatische Generation von Modellen (und Code als eine spezielle Modellart) aus Modellen einer höheren, und damit besser handhabbaren Abstraktionsstufe.

Im Vortrag werden Forschungsergebnisse vorgestellt, die Verfahren zur Qualitätssicherung in eine Modell-getriebene Software-Entwicklung integrieren. Exemplarisch wird dies mit einer Entwicklungs- und Testumgebung für eingebettete Systeme (Embedded Software Engineering) und für Geschäftprozess-orientierte Systeme demonstriert. Im Zentrum steht die automatisierte, entwicklerfreundliche Prüfung von zeitlichen Abläufen entsprechend einer vorgegebenen Spezifikation.