Graduate Seminar

Location: Room S2-02 / E302
Date and Time: 7. November 2007, 16:15-18:00

Joachim Steinmetz 

Formale Verifikation von multimodalen Benutzerschnittstellen im
Bereich von modellbasierter Softwareentwicklung

Abstract: In diesem Vortrag wird der aktuelle Stand der Promotion
vorgestellt. Dabei werden die drei Bereiche Verifikation, modellbasierte
Softwareentwicklung und multimodale Benutzerschnittstellen genauer
dargestellt. Des Weiteren geht es um die Integration und Verschmelzung
dieser Bereiche. Das Ziel der Generierung fehlerfreier Benutzerschnittstelle
soll mit Hilfe von Verifikationen auf abstrakter Modellebene erreicht
werden. Erste Implementierungen und praktische Integrationen der drei
Bereiche werden vorgestellt.