{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:30:24Z","timestamp":1725611424535},"publisher-location":"Vienna","reference-count":27,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211834053"},{"type":"electronic","value":"9783709168158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-7091-6815-8_16","type":"book-chapter","created":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T19:23:51Z","timestamp":1316460231000},"page":"238-253","source":"Crossref","is-referenced-by-count":3,"title":["Usability Properties in Dialog Models"],"prefix":"10.1007","author":[{"given":"Martijn","family":"van Welie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerrit C.","family":"van der Veer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anton","family":"Eli\u00ebns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"A Formal Technique for Automated Dialogue Development","author":"GD Abowd","year":"1995","unstructured":"Abowd, G. D., Wan, H. M., and Monk, A. F. (1995), A Formal Technique for Automated Dialogue Development, DIS \u201885, Ann Arbor MI."},{"key":"16_CR2","volume-title":"EMA: Automatic Analysis Mechanism for the Ergonomic Evaluation of User Interfaces","author":"S Balbo","year":"1994","unstructured":"Balbo, S. (1994), EMA: Automatic Analysis Mechanism for the Ergonomic Evaluation of User Interfaces, CSIRO Technical report 96\/44."},{"issue":"1","key":"16_CR3","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/280571.280580","volume":"30","author":"E Bayle","year":"1998","unstructured":"Bayle, E. (1998), Putting it All Together: Towards a Pattern Language for Interaction Design, SIGCHI Bulletin, vol 30, no. 1, pp.17\u201324.","journal-title":"SIGCHI Bulletin"},{"key":"16_CR4","volume-title":"Guidance on Usability","author":"N Bevan","year":"1994","unstructured":"Bevan, N. (1994), Guidance on Usability,ISO 9241\u201311 Ergonomic Requirements for Office Work With VDTs.."},{"key":"16_CR5","volume-title":"The Role of Formal Proof in Modeling Interactive Behavior","author":"R Butterworth","year":"1998","unstructured":"Butterworth, R., Blandford, A., and Duke, D. (1998), The Role of Formal Proof in Modeling Interactive Behavior, DSV-IS, Abingdon, UK, Springer-Verlag."},{"key":"16_CR6","volume-title":"The Psychology of Human-Computer Interaction","author":"SK Card","year":"1983","unstructured":"Card, S.K., Moran, T.P. and Newell, A. (1983), The Psychology of Human-Computer Interaction, Lawrence Erlbaum Ass, Hillsdale."},{"key":"16_CR7","volume-title":"DIADES-II, a multi-agent user interface design approach with an integrated assesment component","author":"I Dilli","year":"1994","unstructured":"Dilli, I. and Hoffmann, H. J. (1994), DIADES-II, a multi-agent user interface design approach with an integrated assesment component,CHI\u201994 HCI Bibliography, SIG on Tools for Working with Guidelines."},{"key":"16_CR8","volume-title":"Human-Computer Interaction","author":"A Dix","year":"19981998","unstructured":"Dix, A., Abowd, G., Beale, R. and Finlay, J. (1998), Human-Computer Interaction, Prentice Hall Europe, 1998"},{"key":"16_CR9","volume-title":"Unifying Views of Interactors","author":"D Duke","year":"1994","unstructured":"Duke, D., Faconti, F., Harrison, M. D., and Patern\u00f3, F. (1994), Unifying Views of Interactors, Proceedings of the Workshop on Advanced Visual Interfaces, Bari, ACM Press."},{"key":"16_CR10","volume-title":"User Interface Evaluation: is it still usable ?","author":"C Farenc","year":"1995","unstructured":"Farenc, C., Palanque, P., and Vanderdonckt, J. (1995), User Interface Evaluation: is it still usable ?, Proceedings of 6th International Conference on Human-Computer Interaction HCI Intemational\u201995, Yokohama, Elsevier Science, Amsterdam."},{"key":"16_CR11","volume-title":"Which Widgets? Deriving Implementations from User-Interface Specifications","author":"A Hussey","year":"1998","unstructured":"Hussey, Andrew and Carrington, David (1998), Which Widgets? Deriving Implementations from User-Interface Specifications,DSV-IS, Abingdon, UK, Springer Verlag."},{"key":"16_CR12","first-page":"35","volume-title":"People and Computers IV","author":"P Johnson","year":"1988","unstructured":"Johnson, P., Johnson, H., Waddington, R. and Shouls, A. (1988), Task-Related Knowledge Structures: Analysis, Modeling and Application,in: Jones, D. M. and Winder, R., People and Computers IV pp. 35\u201362, University Press, Cambridge."},{"key":"16_CR13","volume-title":"GLEAN: A Computer-Based Tool for Rapid GOMS Model Usability Evaluation of User Interface Designs","author":"DE Kieras","year":"1995","unstructured":"Kieras, D. E., Wood, S. D., Abotel, K., and Hornof, A. (1995), GLEAN: A Computer-Based Tool for Rapid GOMS Model Usability Evaluation of User Interface Designs, Proceedings of UIST \u201885, Pittsburgh, PA, ACM Press."},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/S0020-7373(85)80045-6","volume":"22","author":"D Kieras","year":"1985","unstructured":"Kieras, D. and Poison, P.G. (1985), An approach to the formal analysis of user complexity, International Journal of Man-Machine Studies, vol 22, no. 365\u2013394.","journal-title":"International Journal of Man-Machine Studies"},{"issue":"10","key":"16_CR15","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1109\/32.729686","volume":"24","author":"A Lecerof","year":"1998","unstructured":"Lecerof, A. and Paterno, F. (1998), Automatic Support for Usability Evaluation,IEEE Transactions on Software Engineering, vol 24, no. 10, pp.863\u2013888.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR16","volume-title":"A Familiy of User Interface Consistency Checking Tools","author":"R Mahajan","year":"1995","unstructured":"Mahajan, R. and Shneiderman, B. (1995), A Familiy of User Interface Consistency Checking Tools, CS-TR-3472."},{"key":"16_CR17","first-page":"1993","volume-title":"Usability Engineering","author":"J Nielsen","year":"1993","unstructured":"Nielsen, J. (1993), Usability Engineering, Academic Press, London, 1993"},{"key":"16_CR18","volume-title":"EXPOSE, HCI-Counseling for User Interface Design","author":"P Gorny","year":"1995","unstructured":"P. Gorny (1995), EXPOSE, HCI-Counseling for User Interface Design, Human Computer Interaction - Interact \u201885, Lillehammer, Norway, Chapman & Hall."},{"key":"16_CR19","volume-title":"ConcurTaskTrees: A Diagrammatic Notation for Specking Task Models","author":"FD Paterno","year":"1997","unstructured":"Paterno, F. D., Mancini, C., and Meniconi, S. (1997), ConcurTaskTrees: A Diagrammatic Notation for Specking Task Models,Proceedings of Interact \u201887, Sydney, Chapman & Hall."},{"key":"16_CR20","volume-title":"Task Analysis for Human-Computer Interaction","author":"SJ Payne","year":"1989","unstructured":"Payne, S.J. and Green, T.R.G. (1989), Task-Action Grammar: the model and its developments, in: Diaper, D., Task Analysis for Human-Computer Interaction, Ellis Horwood, Cambridge MA."},{"issue":"4\/5","key":"16_CR21","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1080\/014492997119806","volume":"16","author":"DL Scapin","year":"1997","unstructured":"Scapin, D.L. and Bastien, J.M.C. (1997), Ergonomic criteria for evaluating the ergonomic quality of interactive systems, Behaviour & Information Technology, vol 16, no. 4\/5, pp.220\u2013231.","journal-title":"Behaviour & Information Technology"},{"key":"16_CR22","first-page":"1998","volume-title":"Designing the User Interface","author":"B Shneiderman","year":"1998","unstructured":"Shneiderman, B. (1998), Designing the User Interface, Addison-Wesley Publishing Company, USA, 1998"},{"key":"16_CR23","doi-asserted-by":"crossref","DOI":"10.21236\/ADA177198","volume-title":"Guidelines for Designing User Interface Software","author":"Smith and Mosier","year":"1986","unstructured":"Smith and Mosier (1986), Guidelines for Designing User Interface Software, MITRE, 1986"},{"key":"16_CR24","volume-title":"STAG: Extended Task Action Grammar - a language for the description of the user\u2019s task language","author":"MJ Tauber","year":"1990","unstructured":"Tauber, M. J. (1990), STAG: Extended Task Action Grammar - a language for the description of the user\u2019s task language,Proceedings of INTERACT \u201880, Amsterdam, Elsevier, Amsterdam."},{"key":"16_CR25","volume-title":"An Ontology for Task World Models","author":"M Welie van","year":"1998","unstructured":"van Welie, M., van der Veer, G. C., and Eli\u00ebns, A. (1998), An Ontology for Task World Models, Proceedings of DSV-IS98, Abingdon UK, Springer-Verlag, Wien."},{"key":"16_CR26","volume-title":"Breaking down Usability","author":"M Welie van","year":"1999","unstructured":"van Welie, M., van der Veer, G. C., and Eli\u00ebns, A. (1999), Breaking down Usability, Proceedings of Interact \u201889, Edinburgh, Scotland."},{"key":"16_CR27","volume-title":"Programmable user models for predictive evaluation of interface designs","author":"RM Young","year":"1989","unstructured":"Young, R. M., Green, T. R. G., and Simon, T. (1989), Programmable user models for predictive evaluation of interface designs,CHI \u201889 Conference Proceedings: Human factors in Computings Systems, ACM Press."}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6815-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,7]],"date-time":"2019-04-07T00:27:13Z","timestamp":1554596833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6815-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211834053","9783709168158"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6815-8_16","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1999]]}}}