An integrated formal task specification method for smart environments Wurdel, Maik , 1981- Text theses Text Hochschulschrift 2011 2011 eng electronic resourceremoteComputermedienOnline-Ressourcetext/htmlapplication/pdfOnline-Ressource graph. Darst. This thesis is concerned with the development of interactive systems for smart environments. In such scenario different interaction paradigms need to be supported and according methods and development strategies need to be applied to comprise not only explicit interaction (e.g., pressing a button to adjust the light) but also implicit interactions (e.g., walking to the speaker's desk to give a talk) to assist the user appropriately. A task-based modeling approach is introduced allowing basing the implementing of different interaction paradigms on the same artifact. Maik Wurdel Die Dissertation ist auch als Buch im Logos-Verlag unter der ISBN 978-3-9325-2948-2 erschienen Rostock, Univ., Diss., 2011 004 54.52 54.72 http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2011-0151-9 http://rosdok.uni-rostock.de/resolve?urn=urn:nbn:de:gbv:28-diss2011-0151-9&pdf http://nbn-resolving.de/urn:nbn:de:gbv:28-diss2011-0151-9 An integrated formal task specification method for smart environments--9783832529482--3832529489--(DE-627)669076457 urn:nbn:de:gbv:28-diss2011-0151-9 oclc: 838836522 ppn: (DE-627)683989324