{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:53:56Z","timestamp":1725890036362},"publisher-location":"London","reference-count":19,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781848009066"},{"type":"electronic","value":"9781848009073"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-1-84800-907-3_17","type":"book-chapter","created":{"date-parts":[[2009,6,18]],"date-time":"2009-06-18T10:35:11Z","timestamp":1245321311000},"page":"357-385","source":"Crossref","is-referenced-by-count":2,"title":["Task Models and System Models as A Bridge Between Hci and Software Engineering"],"prefix":"10.1007","author":[{"given":"David","family":"Navarre","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Winckler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Bastide, R. and Palanque, P. A. (1990). Petri net objects for the design, validation and prototyping of user-driven interfaces. In Diaper, D., Gilmore, D. J., Cockton, G., and Shackel, B., editors, INTERACT 1990, pages 625\u2013631. North-Holland."},{"key":"17_CR2","unstructured":"Bastide, R., Palanque, P. A., Sy, O., Le, D.-H., and Navarre, D. (1999). Petri net based behavioral specification of corba systems. In Donatelli, S. and Kleijn, H. C. M., editors, ICATPN, Lecture Notes in Computer Science, volume 1639, pages 66\u201385. Springer."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Biere, M., Bomsdorf, B., and Szwillus, G. (1999). Specification and simulation of task models with vtmb. In CHI\u201999 extended abstracts on Human factors in computing systems, pages 1\u20132. ACM Press.","DOI":"10.1145\/632716.632718"},{"key":"17_CR4","unstructured":"Bodart, F., Hennebert, A. M., Leheureux, J. M., and Vanderdonckt, J. (1995). A modelbased approach to presentation: A continuum from task analysis to prototype. In Bodart, F., editor, Focus on Computer Graphics Series, pages 77\u201394. Springer-Verlag."},{"key":"17_CR5","unstructured":"Bodart, F., Hennebert, A.-M., Provot, I., Leheureux, J.-M., and Vanderdonckt, J. (1994). A model-based approach to presentation: A continuum from task analysis to prototype. In Patern\u00f2, F., editor, DSV-IS, pages 77\u201394. Springer."},{"volume-title":"Scenario-based design: Envisioning work and technology in system development","year":"1995","key":"17_CR6","unstructured":"Carroll, J. M., editor (1995). Scenario-based design: Envisioning work and technology in system development. New York: Wiley."},{"key":"17_CR7","unstructured":"David, N., Philippe, P., and Bastide., R. (2005). Specification of middles touch screen using interactive cooperative objects."},{"issue":"10","key":"17_CR8","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1109\/32.729686","volume":"24","author":"A. Lecerof","year":"1998","unstructured":"Lecerof, A. and Patern\u00f2, F. (1998). Automatic support for usability evaluation. IEEE Trans. Softw. Eng., 24(10):863\u2013888.","journal-title":"IEEE Trans. Softw. Eng"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Lu, S., Paris, C., and Linden, K. V. (1999). Toward the automatic construction of task models from object-oriented diagrams. In Proceedings of the IFIP TC2\/TC13 WG2.7\/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction, pages 169\u2013189.","DOI":"10.1007\/978-0-387-35349-4_10"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Moher, T., Dirda, V., Bastide, R., and Palanque, P. A. (1996). Monolingual, articulated modeling of users, devices, and interfaces. In Bodart, F. and Vanderdonckt, J., editors, DSV-IS, pages 312\u2013329. Springer.","DOI":"10.1007\/978-3-7091-7491-3_16"},{"key":"17_CR11","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1201\/b15703","volume-title":"User centered system design: New perspectives on human-computer interaction","author":"D. A. Norman","year":"1986","unstructured":"Norman, D. A. (1986). Cognitive engineering. In Norman, D. A. and Draper, S. W., editors, User centered system design: New perspectives on human-computer interaction, pages 31\u201361. Erlbaum, Hillsdale, NJ."},{"key":"17_CR12","unstructured":"OMG (1990). The common object request broker: Architecture and specification."},{"issue":"2","key":"17_CR13","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0953-5438(97)00013-1","volume":"9","author":"P. A. Palanque","year":"1997","unstructured":"Palanque, P. A. and Bastide, R. (1997). Synergistic modeling of tasks, users and systems using formal specification techniques. Interacting with Computers, 9(2):129\u2013153.","journal-title":"Interacting with Computers"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Palanque, P. A., Bastide, R., and Patern\u00f2, F. (1997). Formal specification as a tool for objective assessment of safety-critical interactive systems. In Howard, S., Hammond, J., and Lindgaard, G., editors, IFIP Conference Proceedings, volume 96, pages 323\u2013330. Chapman & Hall.","DOI":"10.1007\/978-0-387-35175-9_53"},{"key":"17_CR15","unstructured":"Palanque, P. A., Bastide, R., and Seng\u00e8s, V. (1995). Formal specification as a tool for objective assessment of safety-critical interactive systems. In Bass, L. J. and Unger, C., editors, IFIP Conference Proceedings, volume 45, pages 189\u2013212. Chapman & Hall."},{"key":"17_CR16","volume-title":"Model-Based Design and Evaluation of Interactive Applications","author":"F. Patern\u00f2","year":"1999","unstructured":"Patern\u00f2, F. (1999). Model-Based Design and Evaluation of Interactive Applications. Springer-Verlag, London, UK."},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Patern\u00f2, F., Breedvelt-Schouten, I. M., and de Koning, N. (1999). Deriving presentations from task models. In Proceedings of the IFIP TC2\/TC13 WG2.7\/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction, pages 319\u2013337. Kluwer.","DOI":"10.1007\/978-0-387-35349-4_18"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Puerta, A. R. and Eisenstein, J. (1999). Towards a general computational framework for model-based interface development systems. In Intelligent User Interfaces, pages 171\u2013178.","DOI":"10.1145\/291080.291108"},{"key":"17_CR19","unstructured":"van Welie, M., van der Veer, G. C., and Eli\u2018\u00e8ns, A. (1998). An ontology for task world models. In Markopoulos, P. and Johnson, P., editors, Design, Specification and Verification of Interactive Systems \u201998, pages 57\u201370. Springer-Verlag."}],"container-title":["Human-Computer Interaction Series","Human-Centered Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84800-907-3_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T23:21:02Z","timestamp":1557962462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84800-907-3_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9781848009066","9781848009073"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-1-84800-907-3_17","relation":{},"ISSN":["1571-5035"],"issn-type":[{"type":"print","value":"1571-5035"}],"subject":[],"published":{"date-parts":[[2009]]}}}