mycoreobjectrosdok_disshab_0000000724rosdok_disshab_0000000724rosdokdisshabrosdok_derivate_00000047142023-08-08T10:02:57.407Z2012-01-24T08:27:53.965Zadministratorpublished1rosdok_derivate_0000004714truetruederivate_types:fulltextVolltextfulltextwf_edit_epub wf_register_epubstate:publishedstate:publishedveröffentlichtpublishedrosdok/id00000918683989324MODS updated during RosDok migration in June 2021DissertationHochschulschrift1017025797MaikWurdel1981-VerfasserInautAn Integrated Formal Task Specification Method for Smart EnvironmentsenProf.-Dr.-Ing. habil.PeterForbrigAkademischeR BetreuerIndgsProf. Dr.-Ing.ThomasKirsteAkademischeR BetreuerIndgsProf.JeanVanderdoncktAkademischeR BetreuerIndgs10085032-7Universität RostockFakultät für Informatik und ElektrotechnikGrad-verleihende Institutiondgg10.18453/rosdok_id00000918http://purl.uni-rostock.de/rosdok/id00000918urn:nbn:de:gbv:28-diss2011-0151-9004 InformatikFakultät für Informatik und Elektrotechnikfrei zugänglich (Open Access)Lizenz Metadaten: CC0Nutzungsrechte erteiltalle Rechte vorbehaltenUniversität RostockRostock2011monographic20112011Universitätsbibliothek RostockRostock20122012This 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.task modelingsmart environmentimplicit and explicit interactionrefinementDie Dissertation ist auch als Buch im Logos-Verlag unter der ISBN 978-3-8325-2948-2 erschienen.Universitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00000918doctype:epubdoctype:epubDokumenttypDocument typedoctype:epub.dissertationdoctype:epub.dissertationDissertationdoctoral thesisdiniPublType:doctoralThesis diniPublType2022:PhDThesis XMetaDissPlusThesisLevel:thesis.doctoralinfo:eu-repo/semantics/doctoralThesisdocumentnatureOfContent:ppn_105825778natureOfContent:ppn_105825778HochschulschriftdiniPublType2022:DoctoralThesisdiniPublType2022:DoctoralThesisDissertation oder HabilitationDoctoral thesisDRIVERdiniPublType2022:PhDThesisdiniPublType2022:PhDThesisDissertationPhD thesisKDSF (Pu34)XMetaDissPlusThesisLevel:thesis.doctoralXMetaDissPlusThesisLevel:thesis.doctoralDoktorarbeitdoctoral thesisrfc5646:enrfc5646:enEnglischEnglishengengSDNB:004SDNB:004004 Informatik004 Data processing Computer sciencesinstitution:unirostockinstitution:unirostockUniversität RostockUniversity of RostockUniversität RostockUniversität RostockUni.Rostockhttp://d-nb.info/gnd/38329-6institution:unirostock.iefinstitution:unirostock.iefFakultät für Informatik und ElektrotechnikFaculty of Computer Science and Electrical EngineeringUniversität Rostock. Fakultät für Informatik und ElektrotechnikFakultät für Informatik<br />und ElektrotechnikUni.Rostock.Fakultaet.IEFhttp://d-nb.info/gnd/10085032-7accesscondition:openaccessaccesscondition:openaccessfrei zugänglich (Open Access)open accesshttp://purl.org/coar/access_right/c_abf2OAfreeinfo:eu-repo/semantics/openAccess[DE-28]Open Access$gControlled Vocabulary for Access Rights$uhttp://purl.org/coar/access_right/c_abf2licenseinfo:metadatalicenseinfo:metadataLizenzen für Metadatenlicenseinfo:metadata.cc0licenseinfo:metadata.cc0Lizenz Metadaten: CC0license metadata: CC0/creativecommons/p/zero/1.0/88x31.pnghttps://creativecommons.org/publicdomain/zero/1.0/licenseinfo:depositlicenseinfo:depositVeröffentlichungsgenehmigungpermission to storelicenseinfo:deposit.rightsgrantedlicenseinfo:deposit.rightsgrantedNutzungsrechte erteiltrights grantedlicenseinfo:worklicenseinfo:workWerkworklicenseinfo:work.rightsreservedlicenseinfo:work.rightsreservedalle Rechte vorbehaltenall rights reserved/creativecommons/r/reserved/0.9/88x31.png[DE-28]Urheberrechtsschutz 1.0$gRights Statements$uhttp://rightsstatements.org/vocab/InC/1.0/http://rightsstatements.org/vocab/InC/1.0/http://rightsstatements.org/vocab/InC/1.0/An Integrated Formal Task Specification Method for Smart EnvironmentsAn Integrated Formal Task Specification Method for Smart Environmentsgnd:1017025797gnd:10085032-7gnd:1017025797gnd:10085032-7rosdok_disshab_0000000724-d287220e39gnd:1017025797Maik WurdelMaik Wurdelrosdok_disshab_0000000724-d287220e60Prof.-Dr.-Ing. habil. Peter ForbrigProf.-Dr.-Ing. habil. Peter Forbrigrosdok_disshab_0000000724-d287220e72Prof. Dr.-Ing. Thomas KirsteProf. Dr.-Ing. Thomas Kirsterosdok_disshab_0000000724-d287220e84Prof. Jean VanderdoncktProf. Jean Vanderdoncktrosdok_disshab_0000000724-d287220e97gnd:10085032-7Universität Rostock Fakultät für Informatik und ElektrotechnikUniversität Rostock Fakultät für Informatik und ElektrotechnikMaik WurdelProf.-Dr.-Ing. habil. Peter ForbrigProf. Dr.-Ing. Thomas KirsteProf. Jean VanderdoncktUniversität Rostock Fakultät für Informatik und ElektrotechnikMaik WurdelProf.-Dr.-Ing. habil. Peter ForbrigProf. Dr.-Ing. Thomas KirsteProf. Jean VanderdoncktUniversität Rostock Fakultät für Informatik und ElektrotechnikMaik WurdelRostockUniversität Rostockepub.dissertation10.18453/rosdok_id00000918http://purl.uni-rostock.de/rosdok/id00000918urn:nbn:de:gbv:28-diss2011-0151-9task modelingsmart environmentimplicit and explicit interactionrefinementThis 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.20112011Die Dissertation ist auch als Buch im Logos-Verlag unter der ISBN 978-3-8325-2948-2 erschienen.epub.dissertation1 Dissertation_Wurdel_2011.pdf 7971823 882482bbf33302d84d33c027b17d908f rosdok/id00000918683989324MODS updated during RosDok migration in June 2021DissertationHochschulschrift1017025797MaikWurdel1981-VerfasserInautAn Integrated Formal Task Specification Method for Smart EnvironmentsenProf.-Dr.-Ing. habil.PeterForbrigAkademischeR BetreuerIndgsProf. Dr.-Ing.ThomasKirsteAkademischeR BetreuerIndgsProf.JeanVanderdoncktAkademischeR BetreuerIndgs10085032-7Universität RostockFakultät für Informatik und ElektrotechnikGrad-verleihende Institutiondgg10.18453/rosdok_id00000918http://purl.uni-rostock.de/rosdok/id00000918urn:nbn:de:gbv:28-diss2011-0151-9004 InformatikFakultät für Informatik und Elektrotechnikfrei zugänglich (Open Access)Lizenz Metadaten: CC0Nutzungsrechte erteiltalle Rechte vorbehaltenUniversität RostockRostock2011monographic20112011Universitätsbibliothek RostockRostock20122012This 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.task modelingsmart environmentimplicit and explicit interactionrefinementDie Dissertation ist auch als Buch im Logos-Verlag unter der ISBN 978-3-8325-2948-2 erschienen.Universitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00000918 2012-01-24T08:27:53.965Z 2023-08-08T10:02:57.407Z 2023-08-18T10:02:57.412Z {"identifier":"rosdok/id00000918","type":"local_id","additional":"","service":"MCRLocalID","created":"2018-06-30T12:53:55.110Z"} {"identifier":"http://purl.uni-rostock.de/rosdok/id00000918","type":"purl","additional":"","service":"RosDokPURL","created":"2018-06-30T12:53:55.305Z","registered":"2018-06-30T12:53:55.305Z"} {"identifier":"10.18453/rosdok_id00000918","type":"doi","additional":"","service":"RosDokDOI","created":"2018-06-30T12:53:56.690Z","registered":"2018-06-30T12:53:56.690Z"} {"identifier":"urn:nbn:de:gbv:28-diss2011-0151-9","type":"dnbUrn","additional":"","service":"RosDokURN","created":"2018-06-30T12:53:55.115Z","registered":"2012-01-25T03:02:48.623Z"} administratorfulltextfile/rosdok_disshab_0000000724/rosdok_derivate_0000004714/Dissertation_Wurdel_2011.pdfAn Integrated Formal Task Specification Method for Smart EnvironmentsAn Integrated Formal Task Specification Method for Smart Environmentsgnd:1017025797gnd:10085032-7gnd:1017025797gnd:10085032-7rosdok_disshab_0000000724-d287220e39gnd:1017025797Maik WurdelMaik Wurdelrosdok_disshab_0000000724-d287220e60Prof.-Dr.-Ing. habil. Peter ForbrigProf.-Dr.-Ing. habil. Peter Forbrigrosdok_disshab_0000000724-d287220e72Prof. Dr.-Ing. Thomas KirsteProf. Dr.-Ing. Thomas Kirsterosdok_disshab_0000000724-d287220e84Prof. Jean VanderdoncktProf. Jean Vanderdoncktrosdok_disshab_0000000724-d287220e97gnd:10085032-7Universität Rostock Fakultät für Informatik und ElektrotechnikUniversität Rostock Fakultät für Informatik und ElektrotechnikMaik WurdelProf.-Dr.-Ing. habil. Peter ForbrigProf. Dr.-Ing. Thomas KirsteProf. Jean VanderdoncktUniversität Rostock Fakultät für Informatik und ElektrotechnikMaik WurdelProf.-Dr.-Ing. habil. Peter ForbrigProf. Dr.-Ing. Thomas KirsteProf. Jean VanderdoncktUniversität Rostock Fakultät für Informatik und ElektrotechnikMaik WurdelRostockUniversität Rostockepub.dissertation10.18453/rosdok_id00000918http://purl.uni-rostock.de/rosdok/id00000918urn:nbn:de:gbv:28-diss2011-0151-9task modelingsmart environmentimplicit and explicit interactionrefinementThis 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.20112011Die Dissertation ist auch als Buch im Logos-Verlag unter der ISBN 978-3-8325-2948-2 erschienen.[xslt]Saxonrosdok/id00000918https://purl.uni-rostock.de/rosdok/id0000091868398932410.18453/rosdok_id00000918urn:nbn:de:gbv:28-diss2011-0151-9Maik WurdelWurdel MaikAn Integrated Formal Task Specification Method for Smart EnvironmentsDissertationdoctoral thesisUniversität Rostock, 2011This 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…Maik WurdelAn Integrated Formal Task Specification Method for Smart EnvironmentsUniversitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id000009181017025797MaikWurdel1981-VerfasserInautProf.-Dr.-Ing. habil.PeterForbrigAkademischeR BetreuerIndgsProf. Dr.-Ing.ThomasKirsteAkademischeR BetreuerIndgsProf.JeanVanderdoncktAkademischeR BetreuerIndgs10085032-7Universität RostockFakultät für Informatik und ElektrotechnikGrad-verleihende Institutiondgg[doi]10.18453/rosdok_id00000918[purl]http://purl.uni-rostock.de/rosdok/id00000918[urn]urn:nbn:de:gbv:28-diss2011-0151-9open_access20112011epoch:21th_centuryrfc5646:endoctype:epub.dissertationaccesscondition:openaccessSDNB:004institution:unirostock.iefstate:published