A framework for modelling the user interaction with a complex system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2809, Issue , 2004, Pages 50-61

  Rodriguez Almendros Ma L ^a   Rodriguez Fortiz Ma J ^a   Gea Megias M ^a  

^a UNIVERSITY OF GRANADA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DESIGN; LARGE SCALE SYSTEMS; SYSTEM THEORY;

COMPUTATIONAL POWER; DESIGN AND IMPLEMENTATIONS; FORMAL MODEL; INTERACTION STYLES; INTERACTIVE SYSTEM; SYSTEM CHARACTERISTICS; SYSTEM PROPERTY; USER INTERACTION;

HUMAN COMPUTER INTERACTION;

EID: 0242339727     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (11)

1. Shneidermann B.: Direct Manipulation: A Step Beyond Programming Languages. IEEE Computer, 16 (1983) pp 57-69.
2. Shneiderman, B.: Designing the User Interface. Addison-Wesley Publishing Company, Second Edition, 1992.
3. Shneiderman, B.: Direct Manipulation for Comprehensible, Predictable and Controllable User Interfaces, Proceedings of the International Conference on Intelligent User Interfaces, 1997.
4. Rodríguez, Ma. L.; Gea, M.; Gutiérrez, F. L.: Towars Spatial Specification of Interactive System. EUROGRAPHICS, 99. ISSN: 1017-1656. B.Falcidiendo, J. Rossignac (EDS) Milan, 1999.
5. a. L.; Garví, E.; Gea, M.: A Spatial Specification Technique for Interactive System. Proceeding of Design, Specification and Verification Of Interactive System. DSVI'2000. Limerick, Irlanda, 2000.
6. a.L.:Aproximación Metodológica Formal para el Diseño y desarrollo de Sistemas Interactivos basados en el Estilo de Manipulación Directa. (in Spanish) Phd. Thesis, University of Granada, 2002.
7. Dix, A. J.; Ginaly, J. ; Abowd, G. ; Beale, R.: Human-Computer Interactions. 2° Edition, Prentice Hall, 1998.
8. Ivory, M.Y.; Mearst, M.A.: The state of the art in Automatic Usability Evaluation of UI. ACM Computing Surveys, 4(33), 2001.
9. Intentional Society Organism. Usability of Computer System, 1999.
10. Nielsen, J.; Philips, V.: Estimating the Relative Usability of Two Interfaces: Heuristic, Formal, and Empirical Methods Congrared. Proceeding of INTERCHI'93, 1993.
11. Gabbay, D.M.; Hodkinson, I.; Reynolds, M.: Temporal Logic. Mathematical Foundations and Computational Aspect, Volume 1. Oxford Logic Guides 28, 1995.