Einsatz formaler Spezifikationen im Entwicklungsprozess von Mensch-Maschine-Schnittstellen

Summary In such heterogeneous and technologically challenging environments flexible just as effective development processes are a key factor for successful product development. Therefore, in this dissertation an efficient approach for supporting inter-departmental collaboration of interdisciplinary development trams is introduced. The approach focuses in the specification process for HMIs and supports the establishment of formal electronic specifications as the backbone of model-driven development processes especially in advanced project phases where an HMI´s look and feel specific to a particular male is developed.