{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:49Z","timestamp":1725663229269},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540122739"},{"type":"electronic","value":"9783540395881"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-12273-7_19","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:50:56Z","timestamp":1330174256000},"page":"94-121","source":"Crossref","is-referenced-by-count":3,"title":["Analytic tools for human factors of software"],"prefix":"10.1007","author":[{"given":"Phyllis","family":"Reisner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Bleser, T. & Foley, J. D., Toward specifying and evaluating the human factors of user-computer interfaces, Proc. Human Factors in Computer Systems, Gaithersburg, Md., 1982, 309\u2013314.","DOI":"10.1145\/800049.801801"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/358886.358895","volume":"23","author":"S. K. Card","year":"1980","unstructured":"Card, S. K. & Moran, T. P., The keystroke-level model for user performance time with interactive systems, Comm. ACM, 1980, 23, 396\u2013410.","journal-title":"Comm. ACM"},{"key":"5_CR3","first-page":"53","volume-title":"Using formal grammar as a design tool to predict the most useful characteristics of interactive systems","author":"H. E. Dunsmore","year":"1982","unstructured":"Dunsmore, H. E., Using formal grammar as a design tool to predict the most useful characteristics of interactive systems, Office Automation Conference Digest, San Francisco: AFIPS Press, 1982a, 53\u201356."},{"key":"5_CR4","unstructured":"Dunsmore, H. E., & Reisner, P., Some further evidence on the formal grammar approach to human factors research, Technical Report 348, Dept. of Computer Sciences, Purdue University, 1982b."},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1016\/S0020-7373(78)80025-X","volume":"10","author":"D. W. Embley","year":"1978","unstructured":"Embley, D. W., Lan, N. T. Leinbaugh, D. W. & Nagy, G., A procedure for predicting program editor performance from the users point of view, Intl. J. of Man-Machine Studies, 1978, 10, 639\u2013650.","journal-title":"Intl. J. of Man-Machine Studies"},{"key":"5_CR6","unstructured":"Farrand, A. B., Keystrokes and cognition: an experimental comparison, in preparation."},{"key":"5_CR7","volume-title":"Fundamentals of Computer Graphics","author":"J. D. Foley","year":"1982","unstructured":"Foley, J. D. & van Dam, A., Fundamentals of Computer Graphics, Reading, MA: Addison-Wesley, 1982."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Jacob, R. J. K., Using formal specification in the design of a human-computer interface, Proc. Human Factors in Computer Systems, Gaithersburg, Md., 1982, 315\u2013321.","DOI":"10.1145\/800049.801802"},{"key":"5_CR9","unstructured":"Kieras, D. E., & Polson, P. G., An approach to the formal analysis of user complexity, Project on the user complexity of devices and systems, Working Paper No. 2, University of Arizona and University of Colorado, 1982."},{"key":"5_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0020-7373(81)80022-3","volume":"15","author":"T. P. Moran","year":"1981","unstructured":"Moran, T. P., The command language grammar: a representation for the user interface of interactive computer systems, Intl. J. of Man-Machine Studies, 1981, 15, 3\u201350.","journal-title":"Intl. J. of Man-Machine Studies"},{"key":"5_CR11","unstructured":"The Psychology of Human-Computer Interaction, special issue of ACM Computing Surveys, (Moran, T. ed), 1981, 13."},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1109\/TSE.1981.234520","volume":"SE-7","author":"P. Reisner","year":"1981","unstructured":"Reisner, P., Formal grammar and human factors design of an interactive graphics system, IEEE Trans. on Software Engineering, 1981a, SE-7, 229\u2013240.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/356835.356837","volume":"13","author":"P. Reisner","year":"1981","unstructured":"Reisner, P., Human factors studies of database query languages: a survey and assessment, ACM Computing Surveys, 1981b, 13, 13\u201331.","journal-title":"ACM Computing Surveys"},{"key":"5_CR14","unstructured":"Reisner, P., Formal grammar as a tool for analyzing ease of use: some fundamental concepts, Human Factors in Computer Systems, (Thomas, J. and Schneider, M. eds), Ablex, in press"},{"key":"5_CR15","volume-title":"Software Psychology","author":"B. Shneiderman","year":"1980","unstructured":"Shneiderman, B., Software Psychology, Winthrop, Cambridge, Mass, 1980."},{"key":"5_CR16","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1109\/TSMC.1982.4308798","volume":"SMC-12","author":"B. Shneiderman","year":"1982","unstructured":"Shneiderman, B., Multiparty grammars and related features for defining interactive systems, IEEE Trans. on Systems, Man and Cybernetics, 1982, SMC-12, 148\u2013154.","journal-title":"IEEE Trans. on Systems, Man and Cybernetics"},{"key":"5_CR17","unstructured":"Todd, M. personal communication."}],"container-title":["Lecture Notes in Computer Science","Enduser Systems and Their Human Factors"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12273-7_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:05:41Z","timestamp":1605625541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12273-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540122739","9783540395881"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-12273-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}