Formal description and evaluation of user-adapted interfaces

International Journal of Human Computer Studies

Volumn 49, Issue 2, 1998, Pages 95-120

  De Rosis, Fiorella ^a   Pizzutilo, Sebastiano ^a   De Carolis, Berardina ^b  

^a UNIVERSITY OF BARI   (Italy)

^b ROMA TRE UNIVERSITY   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ITERATIVE METHODS; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; USER INTERFACES;

CONTEXT-SENSITIVE DIALOGUE MODELLING; KNOWLEDGE-BASED MEDICAL SYSTEMS;

HUMAN COMPUTER INTERACTION;

EID: 0032141770     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.1998.0196     Document Type: Article

References (29)

1. BADRE, A., CHALMERS, M., COPELAND, P., LEVIALDI, S., MUSSIO, P. SOLOMON, C. (1994). The interface in the future. In: T. CATARCI, F. COSTABILE, S. LEVIALDI & G. SANTUCCI, Eds. Proceedings of AVI94, pp. 200-205. New York: ACM.
2. BENYON, D. (1993). Adaptive systems: a solution to usability problems. User Modeling and User Adapted Interaction, 3, 65-86.
3. BYRNE, M. D., WOOD, S. D., SUKAVIRIYA, P. N., FOLEY, J. D., KIERAS, D. E. (1994). Automating interface evaluation. Proceedings of CHI 94, pp. 232-237.
4. CARD, S. K., MORAN, T. P. & NEWELL, A. (1980). The keystroke-level model for user performance time with interactive systems. Communications of the ACM, 23, 7.
5. CARNEIRO, L. M. F., COWAN, D. D. & LUCENA, C. J. P. (1994). ADV charts: a visual formalism for interactive systems. SIGCHI Bulletin, 26, 74-77.
6. DAVIS, A. M. (1988). A comparison of techniques for the specification of external system behaviour. Communications of the ACM, 31, 1098-1115.
7. DE CAROLIS, B., ERRORE, S. & DE ROSIS, F. (1995). An adaptive iconic language for the medical domain. International Journal of Human-Computer Studies, 43, 561-577.
8. DE ROSIS, F., COZZA, M. T., DE CAROLIS, B., ERRORE, S., PIZZUTILO, S. & DE ZEGHER, I. (1994). Adaptive interaction with knowledge-based systems. In: T. CATARCI, F. COSTABILE, S. LEVIALDI & G. SANTUCCI, Eds Proceedings of AVI94, pp. 192-199. New York: ACM.
9. FOLEY, J., KIM, S., KOVACEVIC, S. & MURRAY, K. (1991). UIDE - an intelligent user interface design environment. In: J. SULLIVAN & S. TYLER, Eds. Architectures for Intelligent User Interfaces: Elements and Prototypes. pp. 339-384. Addision-Wesley, Reading, MA.
10. GRUDIN, J. (1989). The case against user interface consistency. Communications of the ACM, 32, 1164-1173.
11. HAREL, D. (1987). Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8, 231-274.
12. HARTSON, R. (1989). User-interface management and communication. IEEE Software, 62-70.
13. HSIA, P., SAMUEL, J., GAO, J., KUNG, D., TOYOSHIMA, Y. & CHEN, C. (1994). Formal approach to scenario analysis. IEEE Software, 33-41.
14. JANSSEN, C., WEISBECKER, A. & ZIEGLER, J. (1993). Generating user interfaces from data models and dialogue net specifications. Proceedings of INTERCHI 93, pp. 418-423.
15. JENSEN, K. (1983). Coloured Petri nets and the invariant method. Proceedings of the Application and Theory of Petri Nets, Vol. 66, pp. 166-180. Berlin: Springer.
16. KIERAS, D. & POLSON, P. G (1985). An approach to the formal analysis of user complexity. International Journal of Man-Machine Studies, 22, 365-394.
17. KIERAS, D. (1994). GOMS modeling of user interfaces using NGOMSL. Tutorial at CHI94. Conference on Human Factors in Computing Systems. New York: ACM.
18. KIM, W. C. & FOLEY, J. D. (1993). Providing high-level control and expert assistance in the user interface presentation design. Proceedings of INTERCHI 93, pp. 430-437.
19. MACAULAY, L. (1995). Human-Computer Interaction for Software Designers. Int Thomson Computer Press, London.
20. NIELSEN, J. (1993). Is usability engineering really worth it? IEEE Software, 90-92.
21. NIELSEN, J. & PHILLIPS, V. L. (1993). Estimating the relative usability of two interfaces: heuristic, formal and empirical methods compared. Proceedings of INTERCHI 93, pp. 214-221.
22. PALANQUE, P., BASTIDE, R., DOURTE, L. & SIBERTIN-BLANC, C. (1993). Design of user-driven interfaces using Petri nets and objects. Proceedings of CAISE93, Lecture Notes in Computer Science, Vol. 685. Berlin: Springer.
23. PEZZÉ, M. (1995). A customizable environment for the specification and analysis of real-time systems. Technical Report, Dipartimento di Elettronica ed Informazione, Politecnico di Milano.
24. REISNER, P. (1993). APT: a description of user interface inconsistency. International Journal of Man-Machine Studies, 39, 215-236.
25. STOTTS, D. & FURUTA, A. (1989). Petri-net-based Hypertext: Document structure with browsing semantics. ACM Transactions on Information Systems, 7, 3-29.
26. TERO, A. & BRIGGS, P. (1994). Consistency versus compatibility: a question of levels?. International Journal of Human-Computer Studies, 40, 879-894.
27. THIMBLEBY, H. (1994). Formulating usability. SIGCIII Bulletin, 26, 59-64.
28. TULLIS, T. S. (1988). Screen design. In: M. HELANDER, Ed. Handbook of Human-Computer Interaction. pp. 372-411. Amsterdam: North-Holland.
29. VAN BILJON, W. R. (1988). Extending Petri nets for specifying man-machine interaction. International Journal of Man-Machine Studies, 28, 437-455.