{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:27:05Z","timestamp":1725560825554},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202219"},{"type":"electronic","value":"9783540452102"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45210-2_6","type":"book-chapter","created":{"date-parts":[[2010,7,24]],"date-time":"2010-07-24T03:18:57Z","timestamp":1279941537000},"page":"50-61","source":"Crossref","is-referenced-by-count":1,"title":["A Framework for Modelling the User Interaction with a Complex System"],"prefix":"10.1007","author":[{"given":"Ma L. Rodr\u00edguez","family":"Almendros","sequence":"first","affiliation":[]},{"given":"Ma J. Rodr\u00edguez","family":"F\u00f3rtiz","sequence":"additional","affiliation":[]},{"given":"M. Gea","family":"Meg\u00edas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/MC.1983.1654471","volume":"16","author":"B. Shneidermann","year":"1983","unstructured":"Shneidermann, B.: Direct Manipulation: A Step Beyond Programming Languages. IEEE Computer\u00a016, 57\u201369 (1983)","journal-title":"IEEE Computer"},{"key":"6_CR2","volume-title":"Designing the User Interface","author":"B. Shneiderman","year":"1992","unstructured":"Shneiderman, B.: Designing the User Interface, 2nd edn. Addison-Wesley Publishing Company, Reading (1992)","edition":"2"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Shneiderman, B.: Direct Manipulation for Comprehensible, Predictable and Controllable User Interfaces. In: Proceedings of the International Conference on Intelligent User Interfaces (1997)","DOI":"10.1145\/238218.238281"},{"key":"6_CR4","unstructured":"Rodr\u00edguez, M.L., Gea, M., Guti\u00e9rrez, F.L.: Towars Spatial Specification of Interactive System. In: Falcidiendo, B., Rossignac, J. (eds.) EUROGRAPHICS, 1999, Mil\u00e1n (1999) ISSN: 1017\u20134656"},{"key":"6_CR5","unstructured":"Rodr\u00edguez, M.L., Garv\u00ed, E., Gea, M.: A Spatial Specification Technique for Interactive System. In: Proceeding of Design, Specification and Verification Of Interactive System. DSVI 2000, Limerick, Irlanda (2000)"},{"key":"6_CR6","unstructured":"Rodr\u00edguez, M.L.: Aproximaci\u00f3n Metodol\u00f3gica Formal para el Dise\u00f1o y desarrollo de Sistemas Interactivos basados en el Estilo de Manipulaci\u00f3n Directa Phd. Thesis, University of Granada (2002) (in Spanish)"},{"key":"6_CR7","volume-title":"Human-Computer Interactions","author":"A.J. Dix","year":"1998","unstructured":"Dix, A.J., Ginaly, J., Abowd, G., Beale, R.: Human-Computer Interactions, 2nd edn. Prentice-Hall, Englewood Cliffs (1998)","edition":"2"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Ivory, M.Y., Mearst, M.A.: The state of the art in Automatic Usability Evaluation of UI. ACM Computing Surveys\u00a04(33) (2001)","DOI":"10.1145\/503112.503114"},{"key":"6_CR9","unstructured":"Intentional Society Organism. Usability of Computer System (1999)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Nielsen, J., Philips, V.: Estimating the Relative Usability of Two Interfaces: Heuristic, Formal, and Empirical Methods Congrared. In: Proceeding of INTERCHI 1993 (1993)","DOI":"10.1145\/169059.169173"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M., Hodkinson, I., Reynolds, M.: Temporal Logic. Mathematical Foundations and Computational Aspect, vol. 1. Oxford Logic Guides 28 (1995)","DOI":"10.1093\/oso\/9780198537694.003.0001"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory - EUROCAST 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45210-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T17:48:27Z","timestamp":1711648107000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45210-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202219","9783540452102"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45210-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}