{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:12:17Z","timestamp":1725552737022},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341451"},{"type":"electronic","value":"9783540341468"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11752707_16","type":"book-chapter","created":{"date-parts":[[2006,5,25]],"date-time":"2006-05-25T13:50:15Z","timestamp":1148565015000},"page":"188-200","source":"Crossref","is-referenced-by-count":4,"title":["Supporting Resource-Based Analysis of Task Information Needs"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Creissac","family":"Campos","sequence":"first","affiliation":[]},{"given":"Gavin J.","family":"Doherty","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Butterworth, R., Blandford, A., Duke, D., Young, R.M.: Formal user models and methods for reasoning about interactive behaviour. In: Siddiqi, J., Roast, C. (eds.) Formal Aspects of the Human-Computer Interaction, pp. 176\u2013192. SHU Press (1998)","key":"16_CR1"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-540-39929-2_12","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"J.C. Campos","year":"2003","unstructured":"Campos, J.C.: Using task knowledge to guide interactor specifications analysis. In: Jorge, J.A., Jardim Nunes, N., Falc\u00e3o e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol.\u00a02844, pp. 171\u2013186. Springer, Heidelberg (2003)"},{"issue":"3-4","key":"16_CR3","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1011265604021","volume":"8","author":"J.C. Campos","year":"2001","unstructured":"Campos, J.C., Harrison, M.D.: Model checking interactor specifications. Automated Software Engineering\u00a08(3-4), 275\u2013310 (2001)","journal-title":"Automated Software Engineering"},{"issue":"4","key":"16_CR4","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/PL00003934","volume":"12","author":"G.J. Doherty","year":"2000","unstructured":"Doherty, G.J., Campos, J.C., Harrison, M.D.: Representational reasoning and verification. Formal Aspects of Computing\u00a012(4), 260\u2013277 (2000)","journal-title":"Formal Aspects of Computing"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1207\/s15327051hci1204_4","volume":"12","author":"D. Kieras","year":"1997","unstructured":"Kieras, D., Meyer, D.E.: An overview of the EPIC architecture for cognition and performance with application to human-computer interaction. Human-Computer Interaction\u00a012, 391\u2013438 (1997)","journal-title":"Human-Computer Interaction"},{"key":"16_CR6","doi-asserted-by":"crossref","DOI":"10.1201\/b16826","volume-title":"A Guide to Task Analysis","author":"B. Kirwan","year":"1992","unstructured":"Kirwan, B., Ainsworth, L.: A Guide to Task Analysis. Taylor & Francis, Abington (1992)"},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90050-6","volume":"33","author":"J.E. Laird","year":"1987","unstructured":"Laird, J.E., Newell, A., Rosenbloom, P.S.: Soar: An architecture for general intelligence. Artificial Intelligence\u00a033, 1\u201364 (1987)","journal-title":"Artificial Intelligence"},{"key":"16_CR8","first-page":"235","volume-title":"CHI 1990 Proceedings","author":"C. Lewis","year":"1990","unstructured":"Lewis, C., Polson, P., Wharton, C., Rieman, J.: Testing a walkthrough methodology for theory-based design of walk-up-and-use interfaces. In: CHI 1990 Proceedings, April 1990, pp. 235\u2013242. ACM Press, New York (1990)"},{"unstructured":"Loer, K.: Model-based Automated Analysis for Dependable Interactive Systems. PhD thesis, Department of Computer Science, University of York (2003)","key":"16_CR9"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/3-540-45522-1_6","volume-title":"Interactive Systems: Design, Specification, and Verification","author":"D. Navarre","year":"2001","unstructured":"Navarre, D., et al.: A tool suite for integrating task and system models through scenarios. In: Johnson, C. (ed.) DSV-IS 2001. LNCS, vol.\u00a02220, pp. 88\u2013113. Springer, Heidelberg (2001)"},{"unstructured":"Norman, D.E.: The Psychology of Everyday Things. Basic Book Inc. (1988)","key":"16_CR11"},{"key":"16_CR12","volume-title":"Applied Computing","author":"F. Patern\u00f2","year":"1999","unstructured":"Patern\u00f2, F.: Model Based Design and Evaluation of Interactive Applications. In: Applied Computing. Springer, Berlin (1999)"},{"unstructured":"Patern\u00f2, F.D.: A Method for Formal Specification and Verification of Interactive Systems. PhD thesis, Department of Computer Science, University of York (1995)","key":"16_CR13"},{"issue":"2","key":"16_CR14","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/S0951-8320(01)00092-8","volume":"75","author":"J. Rushby","year":"2002","unstructured":"Rushby, J.: Using model checking to help discover mode confusions and other automation surprises. Reliability Engineering and System Safety\u00a075(2), 167\u2013177 (2002)","journal-title":"Reliability Engineering and System Safety"},{"issue":"1","key":"16_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1207\/S15327051HCI1501_01","volume":"15","author":"P.C. Wright","year":"2001","unstructured":"Wright, P.C., Fields, R.E., Harrison, M.D.: Analyzing human-computer interaction as distributed cognition: the resources model. Human Computer Interaction\u00a015(1), 1\u201342 (2001)","journal-title":"Human Computer Interaction"}],"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\/11752707_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:03:19Z","timestamp":1619506999000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11752707_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341451","9783540341468"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11752707_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}