Media type: E-Book Title: An Integrated Formal Task Specification Method for Smart Environments Contributor: Wurdel, Maik [Author]; Forbrig, Peter [Other]; Kirste, Thomas [Other]; Vanderdonckt, Jean [Other] Published: Rostock: Universität Rostock, 2011 Extent: Online-Ressource Language: English DOI: 10.18453/rosdok_id00000918 Identifier: Keywords: Mensch-Maschine-Kommunikation ; Modellgetriebene Entwicklung ; Verfeinerung ; Formale Spezifikationstechnik ; Benutzeroberfläche ; Entwurfssprache ; Benutzerorientierung Origination: University thesis: Dissertation, Rostock, Universität Rostock. Fakultät für Informatik und Elektrotechnik, 2011 Footnote: Access State: Open Access Rights information: In Copyright