{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T16:08:00Z","timestamp":1725638880903},"publisher-location":"Vienna","reference-count":24,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211829004"},{"type":"electronic","value":"9783709174913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/978-3-7091-7491-3_11","type":"book-chapter","created":{"date-parts":[[2011,12,5]],"date-time":"2011-12-05T05:34:51Z","timestamp":1323063291000},"page":"207-228","source":"Crossref","is-referenced-by-count":0,"title":["Supporting Error-Driven Design"],"prefix":"10.1007","author":[{"given":"Chris","family":"Johnson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phil","family":"Gray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","first-page":"197","volume-title":"Progress in the Psychology of Language","author":"P Barnard","year":"1995","unstructured":"P. Barnard. Interacting cognitive subsystems: A psycholinguistic approach to short-term memory. In A. Ellis, editor, Progress in the Psychology of Language, volume 2, pages 197\u2013258. Lawrence Erlbaum, London, 1995."},{"key":"11_CR2","volume-title":"Situations And Attitudes","author":"J Barwise","year":"1983","unstructured":"J. Barwise and J. Perry. Situations And Attitudes. Bradford Books, Cambridge, United States of America, 1983."},{"key":"11_CR3","first-page":"625","volume-title":"Human-Computer Interaction\u2014INTERACT\u201990","author":"R Bastide","year":"1990","unstructured":"R. Bastide and P. Palanque. Petri net objects for the design, validation and prototyping of user-driven interfaces. In D. Diaper, D. Gilmore, G. Cockton, and B. Shackel, editors, Human-Computer Interaction\u2014INTERACT\u201990, pages 625\u2013631. Elsevier Science Publications, North Holland, Netherlands, 1990."},{"key":"11_CR4","volume-title":"The Nurnberg Funnel: Designing Minimalist Instruction For Practical Computer Skill","author":"JM Carroll","year":"1992","unstructured":"J.M. Carroll. The Nurnberg Funnel: Designing Minimalist Instruction For Practical Computer Skill. MIT Press, Boston, United States of America, 1992."},{"key":"11_CR5","first-page":"191","volume-title":"Cognitive Ergonomics For Human Computer Interaction","author":"D Diaper","year":"1989","unstructured":"D. Diaper and P. Johnson. Task analysis for knowledge description. In J. Long and A. Whitefield, editors, Cognitive Ergonomics For Human Computer Interaction, pages 191\u2013224. Cambridge University Press, Cambridge, United Kingdom, 1989."},{"key":"11_CR6","first-page":"301","volume-title":"People And Computers IX","author":"P Gray","year":"1984","unstructured":"P. Gray, D. England, and S. McGowan. XUAN: Enhancing UAN to capture temporal relationships among actions. In G. Cockton, S. Draper, and G. Weir, editors, People And Computers IX, pages 301\u2013312. Cambridge University Press, Cambridge, United Kingdom, 1984."},{"key":"11_CR7","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/978-3-7091-9437-9_8","volume-title":"The Design, Specification and Verification of Interactive Systems","author":"PD Gray","year":"1995","unstructured":"P.D. Gray and C.W. Johnson. A critical analysis of interface specification notations. In The Design, Specification and Verification of Interactive Systems, pages 113\u2013133. Springer Verlag, Berlin, Germany, 1995."},{"key":"11_CR8","first-page":"1","volume-title":"Handbook Of Logic And Artificial Inteligence: Volume 4 \u2014 Epistemic And Temporal Reasoning","author":"J Halpern","year":"1995","unstructured":"J. Halpern. Reasoning about knowledge: A survey. In Handbook Of Logic And Artificial Inteligence: Volume 4 \u2014 Epistemic And Temporal Reasoning, pages 1\u201334. Clarendon Press, Oxford, United Kingdom, 1995."},{"issue":"3","key":"11_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0953-5438(91)90002-J","volume":"1","author":"T Hewett","year":"1991","unstructured":"T. Hewett. Importance of failure analysis for human-computer interface design. Interacting With Computers, 1(3):3\u20138, 1991.","journal-title":"Interacting With Computers"},{"key":"11_CR10","volume-title":"Knowledge And Belief","author":"J Hintikka","year":"1962","unstructured":"J. Hintikka. Knowledge And Belief. Cornell University Press, Ithica, United States of America, 1962."},{"key":"11_CR11","volume-title":"Developing User Interfaces","author":"D Hix","year":"1993","unstructured":"D. Hix and H.R. Hartson. Developing User Interfaces. John Wiley and Sons, London, 1993."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"D. John and D. Kieras. The goms family of analysis techniques: Tools for design and evaluation. Technical Report CMU-CS-94-181, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, USA, 1994.","DOI":"10.21236\/ADA309174"},{"key":"11_CR13","unstructured":"C.W. Johnson. A Formal Approach To The Integration Of Human Factors And Systems Engineering. PhD thesis, Department Of Computer Science, University of York, York, United Kingdom, 1992."},{"issue":"2","key":"11_CR14","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1006\/imms.1993.1064","volume":"39","author":"CW Johnson","year":"1993","unstructured":"C.W. Johnson. A probabilistic logic for the development of safety-critical interactive systems. International Journal Of Man-Machine Studies, 39(2):333\u2013351, 1993.","journal-title":"International Journal Of Man-Machine Studies"},{"issue":"2","key":"11_CR15","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1049\/sej.1995.0008","volume":"10","author":"CW Johnson","year":"1995","unstructured":"C.W. Johnson. Using Z to support the design of interactive, safety-critical systems. IEE Software Engineering Journal, 10(2):49\u201360, 1995.","journal-title":"IEE Software Engineering Journal"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"C.W. Johnson. Literate specification: Using design rationale to support formal methods in the development of human-machine interfaces. Human Computer Interaction Journal, 1996. Acceped and to appear early in 1996.","DOI":"10.1207\/s15327051hci1104_1"},{"key":"11_CR17","unstructured":"S. Mitchell. The automatic filtering of electronic mail messages. Technical report, Dept of Computing Science, University of Glasgow, Scotland, 1996. Final year dissertation."},{"key":"11_CR18","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1093\/acprof:oso\/9780198521914.003.0014","volume-title":"Human Factors In Hazardous Situations","author":"DA Norman","year":"1990","unstructured":"D.A. Norman. The \u2018problem\u2019 with automation: Inappropriate feedback and interaction not \u2018over-automation\u2019. In D.E. Broadbent, J. Reason, and A. Baddeley, editors, Human Factors In Hazardous Situations, pages 137\u2013145. Clarendon Press, Oxford, United Kingdom, 1990."},{"key":"11_CR19","unstructured":"P. O\u2019Donnell and S. Draper. How machine delays change user strategies. In C. Johnson, editor, The Challenge Of Time. Glasgow Interactive Systems Group, Glasgow, United Kingdom, 1995. G-95.1."},{"key":"11_CR20","volume-title":"To Engineer Is Human: The Role Of Failure In Successful Design","author":"H Petroski","year":"1986","unstructured":"H. Petroski. To Engineer Is Human: The Role Of Failure In Successful Design. St. Martin\u2019s Press, New York, United States of America, 1986."},{"key":"11_CR21","first-page":"625","volume-title":"Interact T90","author":"B Sharratt","year":"1990","unstructured":"B. Sharratt. Memory-cognition-action tables: A pragmatic approach to analytical modelling. In Interact T90, pages 625\u2013631. Elsevier Science, North Holland, 1990."},{"key":"11_CR22","first-page":"287","volume-title":"New Technology and Human Error","author":"D Taylor","year":"1987","unstructured":"D. Taylor. The role of human action in man-machine system errors. In J. Rasmussen, K. Duncan, and J. Leplat, editors, New Technology and Human Error., pages 287\u2013292. John Wiley and Sons, London, United Kingdom, 1987."},{"key":"11_CR23","volume-title":"An Essay In Modal Logic","author":"GH Wright von","year":"1951","unstructured":"G.H. von Wright. An Essay In Modal Logic. Elsevier, North Holland, Netherlands:, 1951."},{"key":"11_CR24","volume-title":"Understanding Computers And Cognition","author":"T Winograd","year":"1987","unstructured":"T. Winograd and F. Flores. Understanding Computers And Cognition. Addison-Wesley, Reading, United States of America, 1987."}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201996"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-7491-3_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T09:36:11Z","timestamp":1606124171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-7491-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783211829004","9783709174913"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-7491-3_11","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1996]]}}}