{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:54:53Z","timestamp":1725515693333},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705680"},{"type":"electronic","value":"9783540705697"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70569-7_5","type":"book-chapter","created":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T01:28:15Z","timestamp":1216085295000},"page":"58-71","source":"Crossref","is-referenced-by-count":5,"title":["HOPS: A Prototypical Specification Tool for Interactive Systems"],"prefix":"10.1007","author":[{"given":"Anke","family":"Dittmar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toralf","family":"H\u00fcbner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Forbrig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Wegner, P.: Why interaction is more powerful than algorithms. Comm. ACM\u00a040(5) (1997)","DOI":"10.1145\/253769.253801"},{"key":"5_CR2","volume-title":"Proc. of SEFM 2005","author":"A. Dittmar","year":"2005","unstructured":"Dittmar, A., Forbrig, P.: A unified description formalism for complex HCI-systems. In: Proc. of SEFM 2005. IEEE Computer Society, Los Alamitos (2005)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1145\/353485.353490","volume":"7","author":"P. Barnard","year":"2000","unstructured":"Barnard, P., May, J., Duke, D., Duce, D.: Systems, Interactions and Macrotheory. ACM Transactions on Human-Computer Interaction\u00a07, 222\u2013262 (2000)","journal-title":"ACM Transactions on Human-Computer Interaction"},{"key":"5_CR4","volume-title":"HCI Models, Theories, and Frameworks - Toward a Multidisciplinary Science","author":"A. Dix","year":"2003","unstructured":"Dix, A.: Upside-Down \u2200s and Algorithms - Computational Formalisms and Theory. In: Carroll, J. (ed.) HCI Models, Theories, and Frameworks - Toward a Multidisciplinary Science, Morgan Kaufmann, San Francisco (2003)"},{"key":"5_CR5","volume-title":"Proc. of CADUI 2004","author":"A. Dittmar","year":"2004","unstructured":"Dittmar, A., Forbrig, P.: The Influence of Improved Task Models on Dialogues. In: Proc. of CADUI 2004. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"A. Dittmar","year":"2003","unstructured":"Dittmar, A., Forbrig, P.: Higher-Order Task Models. In: Jorge, J.A., Jardim Nunes, N., Falc\u00e3o e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol.\u00a02844. Springer, Heidelberg (2003)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70816-2_20","volume-title":"Task Models and Diagrams for Users Interface Design","author":"A. Dittmar","year":"2007","unstructured":"Dittmar, A., Gellendin, A., Forbrig, P.: Requirements Elicitation and Elaboration in Task-Based Design Needs More Than Task Modelling: A Case Study. In: Coninx, K., Luyten, K., Schneider, K.A. (eds.) TAMODIA 2006. LNCS, vol.\u00a04385. Springer, Heidelberg (2007)"},{"key":"5_CR8","volume-title":"Human computer interaction: psychology, task analysis, and software engineering","author":"P. Johnson","year":"1992","unstructured":"Johnson, P.: Human computer interaction: psychology, task analysis, and software engineering. McGraw-Hill Book Company, New York (1992)"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Paterno, F., Mancini, C., Meniconi, S.: ConcurTaskTrees: A notation for specifying task models. In: Proc. of INTERACT 1997 (1997)","DOI":"10.1007\/978-0-387-35175-9_58"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0001-6918(95)00065-8","volume":"91","author":"G.C. Veer","year":"1996","unstructured":"Veer, G.C., van der Lenting, B.F., Bergevoet, B.A.J.: GTA: Groupware Task Analysis - Modeling Complexity. Acta Psychologica\u00a091, 297\u2013322 (1996)","journal-title":"Acta Psychologica"},{"key":"5_CR11","volume-title":"Proc. of INTERACT 1987","author":"H. Alexander","year":"1987","unstructured":"Alexander, H.: Executable Specifications as an Aid to Dialogue Design. In: Proc. of INTERACT 1987. Elsevier, Amsterdam (1987)"},{"key":"5_CR12","volume-title":"Formal Methods in Human-Computer Interaction","author":"B. Sufrin","year":"1990","unstructured":"Sufrin, B., He, J.: Specification, analysis and refinement of interactive processes. In: Harrison, M.D., Thimbleby, H. (eds.) Formal Methods in Human-Computer Interaction. Cambridge University Press, Cambridge (1990)"},{"key":"5_CR13","unstructured":"Abowd, G.D.: Formal Aspects of Human-Computer Interaction. PhD thesis, Oxford University Computing Laboratory (1991)"},{"key":"5_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0445-2","volume-title":"Model-Based Design and Evaluation of Interactive Applications","author":"F. Paterno","year":"2000","unstructured":"Paterno, F.: Model-Based Design and Evaluation of Interactive Applications. Springer, Heidelberg (2000)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"K. Luyten","year":"2003","unstructured":"Luyten, K., Clerckx, T., Coninx, K., Vanderdonckt, J.: Derivation of a Dialog Model from a Tasl Model by Activity Chain Extraction. In: Jorge, J.A., Jardim Nunes, N., Falc\u00e3o e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol.\u00a02844. Springer, Heidelberg (2003)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45348-2_17","volume-title":"Engineering for Human-Computer Interaction","author":"G. Calvary","year":"2001","unstructured":"Calvary, G., Coutaz, J., Thevenin, D.: A Unifying Reference Framework for the Development of Plastic User Interfaces. In: Nigay, L., Little, M.R. (eds.) EHCI 2001. LNCS, vol.\u00a02254. Springer, Heidelberg (2001)"},{"key":"5_CR17","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"5_CR18","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"5_CR19","unstructured":"Engestr\u00f6m, Y.: Learning by Expanding: An Activity-Theoretical Approach to Development Research. PhD thesis, Orienta-Konsultit Oy, Helsinki (1987)"},{"key":"5_CR20","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7221.001.0001","volume-title":"Where the Action Is","author":"P. Dourish","year":"2001","unstructured":"Dourish, P.: Where the Action Is. MIT Press, Cambridge (2001)"},{"key":"5_CR21","volume-title":"Acting with technology: activity theory and interaction design","author":"V. Kaptelinin","year":"2006","unstructured":"Kaptelinin, V., Nardi, B.A.: Acting with technology: activity theory and interaction design. MIT Press, Cambridge (2006)"},{"key":"5_CR22","volume-title":"Thought and Language","author":"L. Vygotsky","year":"1986","unstructured":"Vygotsky, L.: Thought and Language. The MIT Press, Cambridge (1934\/1986)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Coutaz, J.: PAC: An Object Oriented Model For Implementing User Interfaces. SIGCHI Bull.\u00a019(2) (1987)","DOI":"10.1145\/36111.1045592"},{"key":"5_CR24","volume-title":"Proc. of the 2007 joint conference on Engineering Interactive Software","author":"S. Chatty","year":"2007","unstructured":"Chatty, S.: Programs = data + algorithms + architecture: Consequences for interactive software. In: Proc. of the 2007 joint conference on Engineering Interactive Software. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems. Design, Specification, and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70569-7_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:23:06Z","timestamp":1620001386000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70569-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705680","9783540705697"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70569-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}