{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:57:26Z","timestamp":1725638246903},"publisher-location":"Vienna","reference-count":31,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211829004"},{"type":"electronic","value":"9783709174913"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/978-3-7091-7491-3_16","type":"book-chapter","created":{"date-parts":[[2011,12,5]],"date-time":"2011-12-05T00:34:51Z","timestamp":1323045291000},"page":"312-329","source":"Crossref","is-referenced-by-count":5,"title":["Monolingual, Articulated Modeling of Users, Devices, and Interfaces"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Moher","sequence":"first","affiliation":[]},{"given":"Victor","family":"Dirda","sequence":"additional","affiliation":[]},{"given":"R\u00e9mi","family":"Bastide","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"The Architecture of Cognition","author":"JR Anderson","year":"1983","unstructured":"Anderson, J.R. The Architecture of Cognition. Harvard Press, Cambridge, 1983."},{"issue":"5","key":"16_CR2","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1093\/comjnl\/31.5.445","volume":"31","author":"P Barnard","year":"1988","unstructured":"Barnard, P., Wilson, M., and Maclean, A. Approximate modeling of cognitive activity with an expert system: a theory-based strategy for developing an interactive design tool. The Computer Journal, 31(5), 1988, pp. 445\u2013456.","journal-title":"The Computer Journal"},{"key":"16_CR3","first-page":"103","volume-title":"Designing Interaction: Psychology at the Human-Computer Interface","author":"P Barnard","year":"1991","unstructured":"Barnard, P. Bridging between Basic Theories and the Artifacts of Human-Computer Interaction, in J.M. Carroll (Ed.), Designing Interaction: Psychology at the Human-Computer Interface. Cambridge Univ. Press, Cambridge (1991), pp. 103\u2013127."},{"issue":"1","key":"16_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1207\/s15327051hci0801_2","volume":"8","author":"PA Bibby","year":"1933","unstructured":"Bibby, P.A. and Payne, S.J.. Internalization and Use Specificity of Device Knowledge. Human-Computer Interaction 8(1), 1993, pp. 25\u201336.","journal-title":"Human-Computer Interaction"},{"key":"16_CR5","unstructured":"Card, S., Moran, T., and Newell, A. The Psychology of Human-Computer Interaction. Lawrence Erlbaum Associates, 1983."},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/B978-0-444-70536-5.50007-5","volume-title":"Handbook of Human-Computer Interaction","author":"JM Carroll","year":"1988","unstructured":"Carroll, J.M. and Olson, J.R.. Mental Models in Human Computer Interaction, in M. Helander (Ed.), Handbook of Human-Computer Interaction,. Elsevier Science Publishers B. V., North-Holland (1988), pp. 45\u201365."},{"key":"16_CR7","unstructured":"Coutaz, J. and Bass, L. Developing Software for the User Interface. Addison Wesley Publishing, 1991."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Foley, J.D. and Sukavirya, P. A Second generation User Interface Design Environment: The Model and The Runtime Architecture. Proc. INTERCHI\u201993 (Amsterdam, April 1993), pp. 375\u2013382.","DOI":"10.1145\/169059.169299"},{"key":"16_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-642-84524-6_1","volume-title":"High-Level Petri Nets: Theory and Application","author":"HJ Genrich","year":"1991","unstructured":"Genrich, H.J. Predicate\/Transition Nets, in K. Jensen and G. Rozenberg (Eds.), High-Level Petri Nets: Theory and Application. Springer-Verlag, Berlin (1991), pp. 3\u201343."},{"issue":"3","key":"16_CR10","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1207\/s15327051hci0803_3","volume":"8","author":"WD Gray","year":"1993","unstructured":"Gray, W.D., John, B.E., and Atwood, M. Project Ernestine: Validating a GOMS Analysis for Predicting and Explaining Real-World Task Performance. Human-Computer Interaction 8(3), 1993, pp. 237\u2013309.","journal-title":"Human-Computer Interaction"},{"key":"16_CR11","unstructured":"Gray, W.D.. Why You Can\u2019t Program Your VCR. Poster presented at CHI\u201994 Conf. on Human Factors in Computing Systems. (Boston, MA, 1994)."},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 231\u2013274 (1987).","journal-title":"Science of Computer Programming"},{"key":"16_CR13","unstructured":"Hix, D. and Hartson, H.R. Developing User Interfaces: Ensuring Usability Through Product & Process. Wiley Professional Computing, 1993."},{"issue":"4","key":"16_CR14","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/27623.27624","volume":"5","author":"RJK Jacob","year":"1986","unstructured":"Jacob, R.J.K. A Specification Language for Direct-Manipulation User Interfaces. ACM Transactions on Graphics 5(4), 1986, pp. 283\u2013317.","journal-title":"ACM Transactions on Graphics"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K Jensen","year":"1981","unstructured":"Jensen K. Coloured Petri nets and the invariant method. Theoretical Computer Science 14, 1981, North-Holland, 317\u2013336.","journal-title":"Theoretical Computer Science"},{"key":"16_CR16","unstructured":"John, B.E. and Vera, A.H. A GOMS Analysis of a Graphic, Machine-Paced, Highly Interactive Task. CHI\u201992 Conf. on Human Factors in Computing Systems (1992), pp. 251\u2013258."},{"key":"16_CR17","unstructured":"Kass, R. and Finin, T. General User Modeling: A Facility to Support Intelligent Interaction, in J.W. Sullivan and S.W. Tyler (Eds.), Intelligent User Interfaces. Publisher (1991), pp. 111\u2013128."},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/S0020-7373(85)80045-6","volume":"22","author":"DE Kieras","year":"1985","unstructured":"Kieras, D.E. and Bovair, S. An approach to the formal analysis of user complexity. International Journal of Man-Machine Studies, 22 (1985) pp. 365\u2013394.","journal-title":"International Journal of Man-Machine Studies"},{"key":"16_CR19","unstructured":"Kuutti, K. and Bannone, L. Searching for Unity Among Diversity: Exploring the \u201cInterface\u201d Concept. Proc. INTERCHI\u201993, ACM Press (1993), pp. 263\u2013267."},{"key":"16_CR20","unstructured":"Moher, T., Mak, D., Blumenthal, B., and Leventhal, L. Comparing the comprehensibility of textual and graphical programs: The case of Petri nets. Empirical Studies of Programmers: Fifth Workshop. Ablex Publishing Co., 1993, pp. 137\u2013161."},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Moher, T. and Dirda, V. Revising Mental Models to Accommodate Expectation Failures in Human-Computer Dialogues, in P. Palanque and R. Bastide (eds.), Design, Specification and Verification of Interactive Systems\u2019 95, Springer, 1995, pp. 76\u201392","DOI":"10.1007\/978-3-7091-9437-9_6"},{"key":"16_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0020-7373(81)80022-3","volume":"15","author":"TP Moran","year":"1981","unstructured":"Moran, T.P. The Command Language Grammar: a representation for the user interface of interactive computer systems. Int. J; Man-Machine Studies, 15 (1981), pp. 3\u201350.","journal-title":"Int. J; Man-Machine Studies"},{"key":"16_CR23","unstructured":"Murata, T. Personal communication (1994)."},{"key":"16_CR24","unstructured":"Palanque, P., Bastide, R., Sibertin, C, and Dourte, L. Design of User-Driven Interfaces using Petri nets and Objects, in Proceedings of 5th Conference on Advanced Information Systems Engineering (CAISE\u201993). Lecture Notes in Computer Science N\u00b0 685, Springer-Verlag."},{"issue":"2","key":"16_CR25","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1207\/s15327051hci0202_1","volume":"2","author":"SJ Payne","year":"1986","unstructured":"Payne, S.J. and Green, T.R.G. Task Action Grammars: a model of mental representation of task languages. Human Computer Interaction, 2(2), 1986, pp. 93\u2013133.","journal-title":"Human Computer Interaction"},{"key":"16_CR26","unstructured":"Peck, V. and John, B.E. Browser-Soar: A Computational Model of a Highly Interactive Task. CHI\u201992 Conf. on Human Factors in Computing Systems (1992), pp. 165\u2013172."},{"key":"16_CR27","unstructured":"Petre, M. and Price, B. Why Computer Interfaces Are Not Like Paintings: the user as a deliberate reader, in J. Gornostaev (ed.), Proceedings of East-West HCI92: The St. Petersburg International Conference on Human-Computer Interaction, 1 (pp. 217\u2013224), ICSTI: Moscow 125353, Russia."},{"issue":"3","key":"16_CR28","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1207\/s15327051hci0303_2","volume":"3","author":"MK Singley","year":"1987","unstructured":"Singley, M.K. and Anderson, J.R. A Keystroke Analysis of Learning and Transfer in Text Editing. Human-Computer Interaction 3(3), 1987, pp. 223\u2013274.","journal-title":"Human-Computer Interaction"},{"key":"16_CR29","unstructured":"Tauber M. ETAG: Extended Task Action Grammar \u2014 A Language for the Description of the User\u2019s Task Language. 1990."},{"key":"16_CR30","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/S0020-7373(88)80021-X","volume":"28","author":"WR Biljon Van","year":"1988","unstructured":"Van Biljon, W.R. Extending Petri nets for specifying man-machine dialogues. International Journal of Man-Machine Studies 28 (1988), 437\u2013455","journal-title":"International Journal of Man-Machine Studies"},{"key":"16_CR31","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/B978-0-444-70536-5.50006-3","volume-title":"Handbook of Human-Computer Interaction","author":"DD Woods","year":"1988","unstructured":"Woods, D.D. and Roth, E.M. Cognitive Systems Engineering, in M. Helanders (Ed.), Handbook of Human-Computer Interaction, Elsevier Science Publishers B. V., North-Holland (1988), pp. 3\u201343."}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201996"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-7491-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T23:57:49Z","timestamp":1557964669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-7491-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783211829004","9783709174913"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-7491-3_16","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1996]]}}}