{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:08:35Z","timestamp":1732032515859},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540731047"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73105-4_125","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T11:58:56Z","timestamp":1188215936000},"page":"1149-1158","source":"Crossref","is-referenced-by-count":1,"title":["Comprehensive Task and Dialog Modelling"],"prefix":"10.1007","author":[{"given":"V\u00edctor","family":"L\u00f3pez-Jaquero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Montero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"125_CR1","unstructured":"Balzert, H., Hofmann, F., Kruschinski, V., Niemann, C.: The JANUS Application Development Environment - Generating More than the User Interface 1996. CADUI, pp. 183\u2013208 (1996)"},{"key":"125_CR2","unstructured":"Bastide, R., Palanque, P.A.: Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues. In: CADUI 1996, pp. 285\u2013302 (1996)"},{"issue":"3","key":"125_CR3","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/S0953-5438(03)00010-9","volume":"15","author":"G. Calvary","year":"2003","unstructured":"Calvary, G., Coutaz, J., Thevenin, D., Limbourg, Q., Bouillon, L., Vanderdonckt, J.: A Unifying Reference Framework for Multi-Target User Interfaces. Interacting with Computers\u00a015(3), 289\u2013308 (2003)","journal-title":"Interacting with Computers"},{"key":"125_CR4","volume-title":"Software for use","author":"L.L. Constantine","year":"1999","unstructured":"Constantine, L.L., Lockwood, L.A.D.: Software for use. Addison-Wesley, London, UK (1999)"},{"key":"125_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"L. Constantine","year":"2003","unstructured":"Constantine, L.: Canonical Abstract Prototypes for abstract visual and interaction design. In: Jorge, J.A., Jardim Nunes, N., Falc\u00e3o e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol.\u00a02844, Springer, Heidelberg (2003)"},{"key":"125_CR6","first-page":"86","volume-title":"Proceedings of UIDIS 1999","author":"T. Griffiths","year":"1999","unstructured":"Griffiths, T., Barclay, P., McKirdy, J., Paton, N., Gray, P., Kennedy, J., Cooper, R., Goble, C., West, A., Smyth,, Teallach, M.: A model-based user interface development environment for object databases. In: Proceedings of UIDIS 1999, pp. 86\u201396. IEEE Press, New York (1999)"},{"key":"125_CR7","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"125_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1207\/s15327051hci0701_1","volume":"7","author":"R. Hartson","year":"1992","unstructured":"Hartson, R., Gray, P.: Temporal Aspects of Tasks in User Action Notation. Human Computer Interaction\u00a07, 1\u201345 (1992)","journal-title":"Human Computer Interaction"},{"key":"125_CR9","unstructured":"Information Process Systems - Open Systems Interconnection - LOTOS - A Formal Description Based on Temporal Ordering of Observational Behaviour. ISO\/IS 8807 (1988)"},{"key":"125_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Engineering Human Computer Interaction and Interactive Systems","author":"Q. Limbourg","year":"2005","unstructured":"Limbourg, Q., Vanderdonckt, J., Michotte, B., Bouillon, L., L\u00f3pez, Jaquero, V.: UsiXML: a Language Supporting Multi-Path Development of User Interfaces. In: Bastide, R., Palanque, P., Roth, J. (eds.) Engineering Human Computer Interaction and Interactive Systems. LNCS, vol.\u00a03425, Springer, Heidelberg (2005)"},{"key":"125_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Engineering Human Computer Interaction and Interactive Systems","author":"V. L\u00f3pez Jaquero","year":"2005","unstructured":"L\u00f3pez Jaquero, V., Montero, F., Molina, J.P., Gonz\u00e1lez, P., Fern\u00e1ndez Caballero, A.: A Seamless Development Process of Adaptive User Interfaces Explicitly Based on Usability Properties. In: Bastide, R., Palanque, P., Roth, J. (eds.) Engineering Human Computer Interaction and Interactive Systems. LNCS, vol.\u00a03425, Springer, Heidelberg (2005)"},{"key":"125_CR12","series-title":"Newcastle upon Tyne","volume-title":"12th International Workshop on Design, Specification and Verification of Interactive Systems","author":"F. Montero","year":"2005","unstructured":"Montero, F., L\u00f3pez Jaquero, V., Vanderdonckt, J., Gonz\u00e1lez, P., Lozano, M.D.: Solving the Mapping Problem in User Interface Design by Seamless Integration in IdealXML. In: 12th International Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS\u20192005), England, July 13-15. Newcastle upon Tyne, Springer, Heidelberg (2005)"},{"issue":"1","key":"125_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/344949.344959","volume":"7","author":"B. Myers","year":"2000","unstructured":"Myers, B., Hudson, S.E., Pausch, R.: Past, present, and future of user interface software tools. ACM Trans. Comput.-Hum. Interact\u00a07(1), 3\u201328 (2000)","journal-title":"ACM Trans. Comput.-Hum. Interact"},{"key":"125_CR14","unstructured":"Oeschger, I., Murphy, E., King, B., Collins, P., Boswell, D.: Creating Applications With Mozilla. O\u2019Reilly (September 2002)"},{"key":"125_CR15","first-page":"362","volume-title":"Interact\u2019 97","author":"F. Patern\u00f2","year":"1997","unstructured":"Patern\u00f2, F., Mancini, Meniconi, S.: ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. In: Interact\u2019 97, pp. 362\u2013369. Chapman & Hall, Sydney, Australia (1997)"},{"key":"125_CR16","unstructured":"da Silva, P.: Object Modelling of Interactive Systems: The UMLi Approach. Ph.D Thesis. University of Manchester, N.W. Paton (supervisor), UK (2002)"},{"key":"125_CR17","doi-asserted-by":"crossref","unstructured":"Puerta, A.R.: A Model-Based Interface Development Environment. IEEE Software, 40\u201347 (1997)","DOI":"10.1109\/52.595902"},{"key":"125_CR18","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/1045446.1045457","volume-title":"TAMODIA 2004","author":"D. Reichart","year":"2004","unstructured":"Reichart, D., Forbrig, P., Dittmar, A.: Task models as basis for requirements engineering and software execution. In: TAMODIA 2004. Proceedings of the 3rd Annual Conference on Task Models and Diagrams, vol.\u00a086, pp. 51\u201358. ACM Press, New York (2004)"},{"key":"125_CR19","series-title":"Object Technology Series","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML. Object Technology Series. Addison-Wesley, London, UK (1999)"}],"container-title":["Lecture Notes in Computer Science","Human-Computer Interaction. Interaction Design and Usability"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73105-4_125.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:00:24Z","timestamp":1619517624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73105-4_125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540731047"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73105-4_125","relation":{},"subject":[]}}