{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:41:28Z","timestamp":1730295688160,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1109\/sefm.2005.7","type":"proceedings-article","created":{"date-parts":[[2006,1,18]],"date-time":"2006-01-18T18:46:33Z","timestamp":1137609993000},"page":"342-351","source":"Crossref","is-referenced-by-count":5,"title":["A unified description formalism for complex HCI-systems"],"prefix":"10.1109","author":[{"given":"A.","family":"Dittmar","sequence":"first","affiliation":[]},{"given":"P.","family":"Forbrig","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1037\/11193-000"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1007\/978-0-387-35175-9_58"},{"doi-asserted-by":"publisher","key":"18","DOI":"10.1007\/978-3-642-70041-5"},{"year":"1989","author":"milner","journal-title":"Communication and Concurrency","key":"15"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1006\/jvlc.1994.1012"},{"year":"1978","author":"leont'ev","journal-title":"Activity Consciousness Personality","key":"13"},{"year":"0","author":"may","journal-title":"Cognitive Task Analysis in Interacting Cognitive Subsystems in [3]","key":"14"},{"year":"1985","author":"hoare","journal-title":"Communicating Sequential Processes","key":"11"},{"key":"12","article-title":"A framework for task based design","author":"johnson","year":"1993","journal-title":"VAMMS'93 Second Czech-British Symposium Prague"},{"year":"2004","author":"diaper","journal-title":"The Handbook of Task Analysis for Human-Computer Interaction","key":"3"},{"key":"20","article-title":"Understanding task grouping strategies","volume":"14","author":"wild","year":"2003","journal-title":"HCI'2003 People and Computers"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1016\/B978-0-444-70304-0.50074-1"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1145\/353485.353490"},{"year":"1987","journal-title":"Dictionary of Contemporary English","key":"10"},{"key":"7","article-title":"Tool support for task modelling - A constructive exploration","author":"dittmar","year":"2004","journal-title":"EHCI-DSVIS'04"},{"key":"6","article-title":"The influence of improved task models on dialogues","author":"dittmar","year":"2004","journal-title":"CADUI'2004"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1007\/978-3-540-39929-2_13"},{"key":"4","article-title":"More precise descriptions of temporal relations within task models","author":"dittmar","year":"1946","journal-title":"DSV-IS 2000 LNCS"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1111\/1467-8659.1230025"},{"year":"0","author":"dix","journal-title":"Trigger Analysis Understanding Broken Tasks in [3]","key":"8"}],"event":{"name":"Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)","start":{"date-parts":[[2005,9,7]]},"location":"Koblenz, Germany","end":{"date-parts":[[2005,9,9]]}},"container-title":["Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10529\/33310\/01575924.pdf?arnumber=1575924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T12:46:34Z","timestamp":1489495594000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1575924\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/sefm.2005.7","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}