{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:53:10Z","timestamp":1725558790682},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201595"},{"type":"electronic","value":"9783540399292"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39929-2_13","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T20:08:51Z","timestamp":1277842131000},"page":"187-202","source":"Crossref","is-referenced-by-count":9,"title":["Higher-Order Task Models"],"prefix":"10.1007","author":[{"given":"Anke","family":"Dittmar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Forbrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Louvain-la-Neuve","first-page":"257","volume-title":"Proc. of the Third International Conf. on Computer-Aided Design of User Interfaces, CADUI 1999","author":"G. Ballardin","year":"1999","unstructured":"Ballardin, G., Mancini, C., Paterno, F.: Computer-Aided Analysis of Cooperative Applications. In: Vanderdonckt, J., Puerta, A. (eds.) Proc. of the Third International Conf. on Computer-Aided Design of User Interfaces, CADUI 1999. Louvain-la-Neuve, pp. 257\u2013270. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-44675-3_10","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"A. Dittmar","year":"2001","unstructured":"Dittmar, A.: More Precise Descriptions of Temporal Relations within Task Models. In: Palanque, P., Patern\u00f3, F. (eds.) DSV-IS 2000. LNCS, vol.\u00a01946, pp. 151\u2013168. Springer, Heidelberg (2001)"},{"key":"13_CR3","unstructured":"Dittmar, A.: Ein formales Metamodell f\u00fcr den aufgabenbasierten Entwurf interaktiver Systeme. PhD thesis, Univ. Rostock, FB Informatik (2002)"},{"key":"13_CR4","unstructured":"Dix, A.: Managing the Ecology of Interaction. In: Proc. of Tamodia 2002 - 1.Int. Workshop on Task Models and User Interface Design, Bucharest, Romania (2002)"},{"key":"13_CR5","unstructured":"Engestr\u00f6m, Y.: Learning by Expanding: An Activity-Theoretical Approach to Development Research. PhD thesis, Helsinki: Orienta-Konsultit Oy (1987)"},{"key":"13_CR6","unstructured":"Forbrig, P., Dittmar, A.: Software Development and Open User Communities. In: HCI 2001, New Orleans (2001)"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/3-540-36235-5_2","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"J. Garrido","year":"2002","unstructured":"Garrido, J., Gea, M.: A Coloured Petri Net Formalisation for a UML-based Notation Applied to Cooperative System Modelling. In: Forbrig, P., et al. (eds.) DSV-IS 2002. LNCS, vol.\u00a02545, pp. 34\u201346. Springer, Heidelberg (2002)"},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0001-6918(69)90073-0","volume":"31","author":"J. Hackman","year":"1969","unstructured":"Hackman, J.: Toward understanding the role of tasks in behavioral research. Acta Psychologica\u00a0(31), 97\u2013128 (1969)","journal-title":"Acta Psychologica"},{"key":"13_CR9","unstructured":"Johnson, P., Wilson, S.: A framework for task based design. In: Proceedings of VAMMS 1993, second Czech-British Symposium, Prague. Ellis Horwood (1993)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Kaptelinin, V.: Activity Theory: Implications for Human Computer Interaction. In: [14], pp. 103\u2013114 (1996)","DOI":"10.7551\/mitpress\/2137.003.0009"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Kuutti, K.: Activity Theory as a Potential Framework for Human-Computer Interaction Research. In: [14], pp. 17\u201344 (1996)","DOI":"10.7551\/mitpress\/2137.003.0006"},{"key":"13_CR12","volume-title":"Activity, Consciousness, Personality","author":"A. Leont\u2019ev","year":"1978","unstructured":"Leont\u2019ev, A.: Activity, Consciousness, Personality. Prentice-Hall, Englewoods Cliffs (1978)"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","first-page":"165","volume-title":"Interactive Systems: Design, Specification, and Verification","author":"Q. Limbourg","year":"2001","unstructured":"Limbourg, Q., Pribeanu, C., Vanderdonckt, J.: Towards Uniformed Task Models in a Model-Based Approach. In: Johnson, C. (ed.) DSV-IS 2001. LNCS, vol.\u00a02220, pp. 165\u2013182. Springer, Heidelberg (2001)"},{"volume-title":"Context and Consciousness: Activity Theory and Human Computer Interaction","year":"1996","key":"13_CR14","unstructured":"Nardi, B.A. (ed.): Context and Consciousness: Activity Theory and Human Computer Interaction. MIT Press, Cambridge (1996)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Paterno, F., Mancini, C., Meniconi, S.: ConcurTaskTrees: A diagrammatic notation for specifying task models. In: Human Computer Interaction - INTERACT 1997, pp. 362\u2013369 (1997)","DOI":"10.1007\/978-0-387-35175-9_58"},{"key":"13_CR16","first-page":"71","volume-title":"DSV-IS 1998","author":"F. Paterno","year":"1998","unstructured":"Paterno, F., Santoro, C., Tahmassebi, S.: Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic Control. In: Markopoulos, P., Johnson, P. (eds.) DSV-IS 1998, pp. 71\u201386. Springer, Heidelberg (1998)"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/3-540-45522-1_4","volume-title":"Interactive Systems: Design, Specification, and Verification","author":"C. Pribeanu","year":"2001","unstructured":"Pribeanu, C., Limbourg, Q., Vanderdonckt, J.: Task Modelling for Context- Sensitive User interfaces. In: Johnson, C. (ed.) DSV-IS 2001. LNCS, vol.\u00a02220, pp. 49\u201368. Springer, Heidelberg (2001)"},{"key":"13_CR18","volume-title":"The Sciences of the Artifical","author":"H.A. Simon","year":"1990","unstructured":"Simon, H.A.: The Sciences of the Artifical, 2nd edn. MIT Press, Cambridge (1990)","edition":"2"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-36235-5_5","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"N. Souchon","year":"2002","unstructured":"Souchon, N., Limbourg, Q., Vanderdonckt, J.: Task Modelling in Multiple Contexts of Use. In: Forbrig, P., Limbourg, Q., Urban, B., Vanderdonckt, J. (eds.) DSV-IS 2002. LNCS, vol.\u00a02545, pp. 77\u201394. Springer, Heidelberg (2002)"},{"key":"13_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-83696-0","volume-title":"Interaktive Systeme: Software-Entwicklung und Software-Ergonomie","author":"C. Stary","year":"1994","unstructured":"Stary, C.: Interaktive Systeme: Software-Entwicklung und Software-Ergonomie. Vieweg, Braunschweig (1994)"},{"key":"13_CR21","unstructured":"Ulich, E.: Arbeitspsychologie. Verlag der Fachvereine Z\u00fcrich (1991)"},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0001-6918(95)00065-8","volume":"91","author":"G. Veer","year":"1996","unstructured":"Veer, G., Lenting, B., Bergevoet, B.: GTA: Groupware Task Analysis - Modeling Complexity. Acta Psychologica\u00a091, 297\u2013322 (1996)","journal-title":"Acta Psychologica"},{"key":"13_CR23","first-page":"57","volume-title":"DSV-IS 1998","author":"M. Welie","year":"1998","unstructured":"Welie, M., Veer, G., Eli\u00ebns, A.: An Ontology for Task Worlds Models. In: Markopoulos, P., Johnson, P. (eds.) DSV-IS 1998, pp. 57\u201370. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems. Design, Specification, and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39929-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,27]],"date-time":"2024-03-27T21:36:13Z","timestamp":1711575373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39929-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201595","9783540399292"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39929-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}