乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,3,17]],"date-time":"2023-03-17T10:11:36Z","timestamp":1679047896434},"reference-count":67,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2004,2,1]],"date-time":"2004-02-01T00:00:00Z","timestamp":1075593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Human-Computer Studies"],"published-print":{"date-parts":[[2004,2]]},"DOI":"10.1016\/j.ijhcs.2003.08.004","type":"journal-article","created":{"date-parts":[[2003,12,9]],"date-time":"2003-12-09T11:55:53Z","timestamp":1070970953000},"page":"149-200","source":"Crossref","is-referenced-by-count":23,"title":["Models of interactive systems: a case study on programmable user modelling"],"prefix":"10.1016","volume":"60","author":[{"given":"Ann","family":"Blandford","sequence":"first","affiliation":[]},{"given":"Richard","family":"Butterworth","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Curzon","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.ijhcs.2003.08.004_BIB1","doi-asserted-by":"crossref","unstructured":"Abowd, G., Wang, H.-M., Monk, A., 1995. A formal technique for automated dialogue development. Proceedings of DIS\u201995, Ann Arbor, MI, ACM, pp. 219\u2013226.","DOI":"10.1145\/225434.225459"},{"issue":"2","key":"10.1016\/j.ijhcs.2003.08.004_BIB2","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1177\/146045820200800202","article-title":"Acceptability of medical digital libraries","volume":"8","author":"Adams","year":"2002","journal-title":"Health Informatics Journal"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB3","series-title":"Rules of the Mind","author":"Anderson","year":"1993"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB4","series-title":"People and Computers, Proceedings of HCI\u201989, Vol. V","first-page":"87","article-title":"Integrating cognitive and system models in human computer interaction","author":"Barnard","year":"1989"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB5","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1145\/353485.353490","article-title":"Systems, interactions and macrotheory","volume":"7.2","author":"Barnard","year":"2000","journal-title":"ACM Transactions on Computer\u2013Human Interaction"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB6","doi-asserted-by":"crossref","unstructured":"Beard, D., Palanlappap, M., Humm, A., Banks, D., Nair, A., Shan, Y.-P., 1990. A visual calendar for scheduling group meetings. In: Proceedings of CSCW\u201990, Los Angeles, CA, pp. 279\u2013290.","DOI":"10.1145\/99332.99361"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB8","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/PL00000020","article-title":"Group and individual time management tools","volume":"5.4","author":"Blandford","year":"2001","journal-title":"Personal and Ubiquitous Computing"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB9","series-title":"People and Computers VIII, Proceedings of HCI\u201993, Loughborough","first-page":"111","article-title":"Developing runnable user models","author":"Blandford","year":"1993"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB10","series-title":"Human\u2013Computer Interaction: Interact\u201995","first-page":"91","article-title":"Separating user and device descriptions for modelling interactive problem solving","author":"Blandford","year":"1995"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB11","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1049\/sej.1996.0043","article-title":"Specifying user knowledge for the design of interactive systems","volume":"11.6","author":"Blandford","year":"1996","journal-title":"Software Engineering Journal"},{"issue":"3","key":"10.1016\/j.ijhcs.2003.08.004_BIB7","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1006\/ijhc.1998.0204","article-title":"Training software engineers in a novel usability evaluation technique","volume":"45","author":"Blandford","year":"1998","journal-title":"International Journal of Human\u2013Computer Studies"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB12","series-title":"Proceedings on Design, Specification and Verifications of Interactive Systems \u201998","first-page":"87","article-title":"The role of formal proof in modelling interactive behaviour","author":"Butterworth","year":"1998"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB13","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1006\/jvlc.1999.0126","article-title":"Using formal models to explore display based usability issues","volume":"10","author":"Butterworth","year":"1999","journal-title":"Journal of Visual Languages and Computing"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB14","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/s001650070021","article-title":"Demonstrating the cognitive plausibility of interactive system specifications","volume":"12","author":"Butterworth","year":"2000","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB15","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1006\/ijhc.2001.0469","article-title":"ACT-R\/PM and menu selection","volume":"55","author":"Byrne","year":"2001","journal-title":"International Journal of Human\u2013Computer Studies"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB16","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1207\/s15516709cog2101_2","article-title":"A working memory model of a common procedural error","volume":"21.1","author":"Byrne","year":"1997","journal-title":"Cognitive Science"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB17","series-title":"The Psychology of Human\u2013Computer Interaction","author":"Card","year":"1983"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB18","series-title":"HCI Models, Theories and Frameworks","author":"Carroll","year":"2003"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB19","doi-asserted-by":"crossref","unstructured":"Curzon, P., Blandford, A.E., 2001. Detecting multiple classes of user error. In: Little, M.R., Nigay, L. (Eds.), Engineering for Human\u2013Computer Interaction, Eighth IFIP International Conference, EHCI 2001. Lecture Notes in Computer Science, Vol. 2254. Springer, Berlin, pp. 57\u201371.","DOI":"10.1007\/3-540-45348-2_9"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB20","doi-asserted-by":"crossref","unstructured":"Curzon, P., Blandford, A., 2002. From a formal user model to design rules. In: Forbrig, P., Urban, B., Vanderdonckt, J., Limbourg, Q. (Eds.), Interactive Systems. Design, Specification and Verification, Ninth International Workshop. Lecture Notes in Computer Science, Vol. 2545. Springer, Berlin, pp. 19\u201333.","DOI":"10.1007\/3-540-36235-5_1"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB21","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/PL00003934","article-title":"Representational reasoning and verification","volume":"12","author":"Doherty","year":"2000","journal-title":"Formal Aspects of Computing"},{"issue":"3","key":"10.1016\/j.ijhcs.2003.08.004_BIB23","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1111\/1467-8659.1230025","article-title":"Abstract interaction objects","volume":"12","author":"Duke","year":"1993","journal-title":"Computer Graphics Forum"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB22","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1207\/s15327051hci1304_1","article-title":"Syndetic modelling","volume":"13","author":"Duke","year":"1998","journal-title":"Human\u2013Computer Interaction"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB24","unstructured":"Fields, R., 2001. Analysis of erroneous actions in the design of critical systems. D.Phil. Thesis, University of York, Technical Report YCST 2001\/09."},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/ijhc.2000.0377","article-title":"Analysing human\u2013computer interaction as distributed cognition","volume":"15","author":"Fields","year":"2000","journal-title":"Human\u2013Computer Interaction Journal"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB26","series-title":"Knowledge in Flux","author":"G\u00e4rdenfors","year":"1988"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB27","doi-asserted-by":"crossref","unstructured":"Good, J.P., Blandford, A.E., 1999. Incorporating human factors concerns into the design and safety engineering of complex control systems. In: Noyes, J., Bransby, M. (Eds.), People in Control: An International Conference on Human Interfaces in Control Rooms, Cockpits and Command Centres, IEE Conference Publication Number 463, Institution of Electrical Engineers, London, 1999, pp. 51\u201356, ISBN number 0 85296 715 2.","DOI":"10.1049\/cp:19990162"},{"issue":"2","key":"10.1016\/j.ijhcs.2003.08.004_BIB28","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1207\/s15516709cog2402_2","article-title":"The nature and processing of errors in interactive behavior","volume":"24","author":"Gray","year":"2000","journal-title":"Cognitive Science"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB29","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1207\/s15327051hci0803_3","article-title":"Project Ernestine","volume":"8","author":"Gray","year":"1993","journal-title":"Human\u2013Computer Interaction"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB30","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1207\/s15327051hci1204_1","article-title":"Introduction to this special issue on cognitive architectures and human\u2013computer interaction","volume":"12","author":"Gray","year":"1997","journal-title":"Human\u2013Computer Interaction"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB31","doi-asserted-by":"crossref","unstructured":"Hall, A., 1990. Seven myths of formal methods, IEEE Software, September, 11\u201319.","DOI":"10.1109\/52.57887"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB32","unstructured":"Harrison, M., Thimbleby, H. (Eds.), 1990. Formal Methods in Human\u2013Computer Interaction. CUP, Cambridge, pp. 97\u2013127."},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB33","first-page":"174","article-title":"Distributed cognition","volume":"7.2","author":"Hollan","year":"2000","journal-title":"ACM Transactions on CHI"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB34","series-title":"Cognitive Reliability and Error Analysis Method (CREAM)","author":"Hollnagel","year":"1998"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB35","series-title":"Cognition In The Wild","author":"Hutchins","year":"1995"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB36","first-page":"320","article-title":"The GOMS family of user interface analysis techniques","volume":"3","author":"John","year":"1996","journal-title":"ACM Transactions on CHI"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB37","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1111\/j.2044-8325.1982.tb00098.x","article-title":"How professional persons keep their calendars","volume":"55","author":"Kelley","year":"1982","journal-title":"Journal of Occupational Psychology"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB39","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/S0020-7373(85)80045-6","article-title":"An approach to the formal analysis of user complexity","volume":"22","author":"Kieras","year":"1985","journal-title":"International Journal of Man\u2013Machine Studies"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB38","first-page":"230","article-title":"Predictive engineering models based on the EPIC architecture for a multimodal high-performance human\u2013computer interaction task","volume":"4","author":"Kieras","year":"1997","journal-title":"ACM Transactions on CHI"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB40","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/3864.3868","article-title":"Electronic calendars in the office","volume":"3.1","author":"Kincaid","year":"1985","journal-title":"ACM Transactions on Office Information Systems"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB41","series-title":"Sources of Power","author":"Klein","year":"1999"},{"issue":"3","key":"10.1016\/j.ijhcs.2003.08.004_BIB42","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","article-title":"The temporal logic of actions","volume":"16","author":"Lamport","year":"1994","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB43","unstructured":"Long, J., Dowell, J., 1989. Conceptions of the discipline of HCI: craft, applied science and engineering. Proceedings of the HCI\u201989. Cambridge University Press, Cambridge, pp. 9\u201332."},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB44","series-title":"Design, Specification and Verification of Interactive Systems \u201995","first-page":"76","article-title":"Revising mental models to accommodate expectation failures in human\u2013computer dialogues","author":"Moher","year":"1995"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB67","series-title":"Programming from Specifications","author":"Morgan","year":"1990"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB45","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(82)90012-1","article-title":"The knowledge level","volume":"18","author":"Newell","year":"1982","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB46","series-title":"Unified Theories of Cognition","author":"Newell","year":"1990"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB47","unstructured":"ON Technology, 1995. Meeting Maker (v.3) User's Guide."},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB48","series-title":"Interactive Systems: Design, Specification and Verification","first-page":"383","article-title":"Petri net based design of user-driven interfaces using the Interactive Cooperative Objects formalism","author":"Palanque","year":"1995"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB49","doi-asserted-by":"crossref","unstructured":"Palen, L. 1999. Social, individual & technological issue for groupware calendar systems. Proceedings of CHI\u201999. ACM Press, New York, pp. 17\u201324.","DOI":"10.1145\/302979.302982"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB50","unstructured":"Paterno\u2019, F., 1993. Definition of properties of user interfaces using action-based temporal logic. Proceedings of the Fifth International Conference on Software Engineering and Knowledge Engineering, San Francisco Bay, CA, pp. 314\u2013318."},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB52","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0020-7373(05)80129-4","article-title":"Display-based action at the user interface","volume":"35","author":"Payne","year":"1991","journal-title":"International Journal of Man\u2013Machine Studies"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB53","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1207\/s15327051hci0802_1","article-title":"Understanding calendar use","volume":"8","author":"Payne","year":"1993","journal-title":"Human\u2013Computer Interaction"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB51","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1207\/s15327051hci0202_1","article-title":"Task-Action Grammars","volume":"2","author":"Payne","year":"1986","journal-title":"Human\u2013Computer Interaction"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB54","doi-asserted-by":"crossref","unstructured":"Pnueli, A., 1992. System specification and refinement in temporal logic. Lectures Notes in Computer Science, Vol. 652. Springer, Berlin, pp. 1\u201338.","DOI":"10.1007\/3-540-56287-7_92"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB55","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1207\/s15516709cog1704_4","article-title":"The phylogeny of rationality","volume":"17","author":"Pollock","year":"1993","journal-title":"Cognitive Science"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB56","series-title":"Human Error","author":"Reason","year":"1990"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB57","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/ijhc.2001.0471","article-title":"Embodied models as simulated users","volume":"55","author":"Ritter","year":"2001","journal-title":"International Journal of Human\u2013Computer Studies"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB58","unstructured":"Rushby, J., 1999. Using model checking to help discover mode confustions and other automation surprises. In: Javaux, D. (Ed.), Proceedings of the Third Workshop on Human Error, Safety and System Development. Liege, Belgium."},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB59","unstructured":"Ryan, M., 1992. Ordered presentations of theories: a hierarchical approach to default reasoning. Ph.D. Thesis, Imperial College, London."},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB60","doi-asserted-by":"crossref","unstructured":"Salvucci, D.D., Lee, F.J., 2003. Simple cognitive modeling in a complex cognitive architecture. Proceedings of the ACM CHI 2003. Fort Lauderdale, FL, pp. 265\u2013272.","DOI":"10.1145\/642611.642658"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB61","doi-asserted-by":"crossref","unstructured":"Simon, H.A., 1987. Bounded rationality. In: Eatwell, J., Millgate, M., Newman, P. (Eds.), The New Palgrave: A Dictionary of Economics. Macmillan, London and Basingstoke.","DOI":"10.1057\/978-1-349-95121-5_472-1"},{"issue":"2","key":"10.1016\/j.ijhcs.2003.08.004_BIB62","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/376929.376941","article-title":"Usability analysis with Markov models","volume":"8","author":"Thimbleby","year":"2001","journal-title":"ACM Transactions on Computer\u2013Human Interaction"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB63","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00122574","article-title":"Advances in prospect theory","volume":"5","author":"Tversky","year":"1992","journal-title":"Journal of Risk and Uncertainty"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB64","series-title":"Cognitive Work Analysis","author":"Vicente","year":"1999"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB65","series-title":"Usability Inspection Methods","first-page":"105","article-title":"The cognitive walkthrough method","author":"Wharton","year":"1994"},{"key":"10.1016\/j.ijhcs.2003.08.004_BIB66","doi-asserted-by":"crossref","unstructured":"Young, R.M., Green, T.R.G., Simon, T., 1989. Programmable user models for predictive evaluation of interface designs. Proceedings of CHI \u201989, ACM, New York.","DOI":"10.1145\/67449.67453"}],"container-title":["International Journal of Human-Computer Studies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1071581903001678?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1071581903001678?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,27]],"date-time":"2020-03-27T21:38:56Z","timestamp":1585345136000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1071581903001678"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,2]]},"references-count":67,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2004,2]]}},"alternative-id":["S1071581903001678"],"URL":"https:\/\/doi.org\/10.1016\/j.ijhcs.2003.08.004","relation":{},"ISSN":["1071-5819"],"issn-type":[{"value":"1071-5819","type":"print"}],"subject":[],"published":{"date-parts":[[2004,2]]}}}