{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:34:21Z","timestamp":1743003261399,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540926979"},{"type":"electronic","value":"9783540926986"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92698-6_12","type":"book-chapter","created":{"date-parts":[[2008,12,22]],"date-time":"2008-12-22T20:44:26Z","timestamp":1229978666000},"page":"193-209","source":"Crossref","is-referenced-by-count":0,"title":["Considering Context and Users in Interactive Systems Analysis"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Creissac","family":"Campos","sequence":"first","affiliation":[]},{"given":"Michael D.","family":"Harrison","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","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":"12_CR2","unstructured":"Campos, J.C.: Automated Deduction and Usability Reasoning. DPhil thesis, Department of Computer Science, University of York (September 1999)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/11752707_16","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"J.C. Campos","year":"2006","unstructured":"Campos, J.C., Doherty, G.J.: Supporting resource-based analysis of task information needs. In: Gilroy, S.W., Harrison, M.D. (eds.) DSV-IS 2005. LNCS, vol.\u00a03941, pp. 188\u2013200. Springer, Heidelberg (2006)"},{"issue":"3","key":"12_CR4","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), 275\u2013310 (2001)","journal-title":"Automated Software Engineering"},{"key":"12_CR5","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"12_CR6","series-title":"British Computer Society Conference Series","first-page":"89","volume-title":"People and Computers VII \u2014 Proceedings of HCI 1992","author":"H.W. Desurvire","year":"1992","unstructured":"Desurvire, H.W., Kondziela, J.M., Atwood, M.E.: What is gained and lost when using evaluation methods other than empirical testing. In: Monk, A., Diaper, D., Harrison, M.D. (eds.) People and Computers VII \u2014 Proceedings of HCI 1992. British Computer Society Conference Series, pp. 89\u2013102. Cambridge University Press, Cambridge (1992)"},{"issue":"4","key":"12_CR7","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":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/11752707_17","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"J. Gow","year":"2006","unstructured":"Gow, J., Thimbleby, H., Cairns, P.: Automatic Critiques of Interface Modes. In: Gilroy, S.W., Harrison, M.D. (eds.) DSV-IS 2005. LNCS, vol.\u00a03941, pp. 201\u2013212. Springer, Heidelberg (2006)"},{"issue":"3","key":"12_CR9","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1207\/s15327051hci1303_2","volume":"13","author":"W. Gray","year":"1998","unstructured":"Gray, W., Salzman, M.: Damaged merchandise? A review of experiments that compare usability evaluation methods. Human Computer Interaction\u00a013(3), 203\u2013261 (1998)","journal-title":"Human Computer Interaction"},{"issue":"15","key":"12_CR10","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1207\/S15327590IJHC1501_13","volume":"1","author":"H.R. Hartson","year":"2003","unstructured":"Hartson, H.R., Andre, T.S., Williges, R.C.: Criteria for Evaluating Usability Evaluation Methods. International Journal of Human-Computer Interaction\u00a01(15), 145\u2013181 (2003)","journal-title":"International Journal of Human-Computer Interaction"},{"key":"12_CR11","unstructured":"ISO: International Standard ISO 9241-11: Ergonomic requirements for office work with visual display terminals (VDTs) \u2013 Part 11: Guidance on Usability, International Organization for Standardisation, Geneva (1998)"},{"key":"12_CR12","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, pp. 235\u2013242. ACM Press, New York (1990)"},{"key":"12_CR13","first-page":"249","volume-title":"Proceedings of the SIGCHI conference on Human factors in computing systems","author":"J. Nielsen","year":"1990","unstructured":"Nielsen, J., Molich, R.: Heuristic evaluation of user interfaces. In: Proceedings of the SIGCHI conference on Human factors in computing systems, pp. 249\u2013256. ACM Press, New York (1990)"},{"key":"12_CR14","unstructured":"Palmer, E.: Oops, it didn\u2019t arm \u2013 a case study of two automation surprises. In: Jensen, R.S., Rakovan, L.A. (eds.) Proceedings of the 8th International Symposium on Aviation Psychology, pp. 227\u2013232. Ohio State University (1995)"},{"key":"12_CR15","unstructured":"Patern\u00f2, F.D.: A Method for Formal Specification and Verification of Interactive Systems. D.Phil thesis, Department of Computer Science, University of York (1996)"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1080\/07370024.1990.9667154","volume":"5","author":"P. Polson","year":"1990","unstructured":"Polson, P., Lewis, C.: Theory-Based Design for Easily Learned Interfaces. Human-Computer Interaction\u00a05, 191\u2013220 (1990)","journal-title":"Human-Computer Interaction"},{"issue":"2","key":"12_CR17","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 Systems Safety\u00a075(2), 167\u2013177 (2002)","journal-title":"Reliability Engineering and Systems Safety"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1007\/3-540-54415-1_65","volume-title":"Theoretical Aspects of Computer Software","author":"M. Ryan","year":"1991","unstructured":"Ryan, M., Fiadeiro, J., Maibaum, T.: Sharing actions and attributes in modal action logic. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol.\u00a0526, pp. 569\u2013593. Springer, Heidelberg (1991)"},{"issue":"2","key":"12_CR19","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/1005361.1005364","volume":"11","author":"H. Thimbleby","year":"2004","unstructured":"Thimbleby, H.: User Interface Design with Matrix Algebra. ACM Transactions on Computer-Human Interaction\u00a011(2), 181\u2013236 (2004)","journal-title":"ACM Transactions on Computer-Human Interaction"}],"container-title":["Lecture Notes in Computer Science","Engineering Interactive Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92698-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T11:27:06Z","timestamp":1551698826000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92698-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540926979","9783540926986"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92698-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}