Marcel Dausend

Learn More
Komplexe interaktive Anwendungen stellen sowohl für die Nutzer als auch für die Entwickler eine große Herausforderung dar.E in Beispiel für eine solche An-wendung ist das Infotainmentsystem in modernen Fahrzeugen. Der Nutzer wird bei der Bedienung durch Multimodalität (Sprachbedienung neben der grafisch-haptischen Bedienung) unterstützt, um die Ablenkung(More)
State Machines can be used to specify arbitrary system behaviour. However, when writing executable specifications one often has to write additional statements which organise how, e.g., in which order, the rules are executed. This reduces the readability and comprehensibility of specifications and can introduce additional defects to them. We propose a new(More)
  • 1