LEARNABILITY AND ROBUSTNESS OF USER INTERFACES - Towards a Formal Analysis of Usability Design Principles

Steinar Kristoffersen

Abstract

The paper is concerned with automatic usability assessment, based on heuristic principles. The objective is to lay the ground, albeit still rather informally, of a program of assessing the usability of an interactive system using formal methods. Further research can then extend this into an algebra of interactive systems.

References

  1. Bannon, L. J. and Bødker, S. (1991). Beyond the interface: encountering artifacts in use, pages 227-253. Cambridge University Press, New York, NY, USA.
  2. Calvary, G. and Coutaz, J. (2002). Catchit, a development environment for transparent usability testing. In TAMODIA 7802: Proceedings of the First International Workshop on Task Models and Diagrams for User Interface Design, pages 151-160. INFOREC Publishing House Bucharest.
  3. Card, S. K., Moran, T. P., and Newell, A. (1980). The keystroke-level model for user performance time with interactive systems. Commun. ACM, 23(7):396-410.
  4. Carlshamre, P. and Rantzer, M. (2001). Dissemination of usability: Failure of a success story. interactions, 8(1).
  5. Chevalier, A. and Ivory, M. Y. (2003). Web site designs: influences of designer's expertise and design constraints. Int. J. Hum.-Comput. Stud., 58(1):57-87.
  6. Coutaz, J., Salber, D., Carraux, E., and Portolan, N. (1996). Neimo, a multiworkstation usability lab for observing and analyzing multimodal interaction. In CHI 7896: Conference companion on Human factors in computing systems, pages 402-403, New York, NY, USA. ACM.
  7. Davis, F. D. (1989). Perceived usefulness, perceived ease of use, and user acceptance of information technology. MIS Quarterly, 13(3):319-340.
  8. Dix, A., Finlay, J., Abowd, G., and Beale, R. (1997). Human-computer interaction. Prentice-Hall, Inc., Upper Saddle River, NJ, USA.
  9. Doubleday, A., Ryan, M., Springett, M., and Sutcliffe, A. (1997). A comparison of usability techniques for evaluating design. In DIS 7897: Proceedings of the 2nd conference on Designing interactive systems, pages 101- 110, New York, NY, USA. ACM.
  10. Farenc, C., Liberati, V., and Barthet, M.-F. (1999). Automatic ergonomic evaluation: What are the limits? In Proceedings of the Third International Conference on Computer-Aided Design of User Interfaces, Dordrecht, The Netherlands. Kluwer Academic Publishers.
  11. Gentner, D. R. and Grudin, J. (1990). Why good engineers (sometimes) create bad interfaces. In CHI 7890: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 277-282, New York, NY, USA. ACM.
  12. Gould, J. D. and Lewis, C. (1985). Designing for usability: key principles and what designers think. Commun. ACM, 28(3):300-311.
  13. Gray, W. D., John, B. E., and Atwood, M. E. (1992). The precis of project ernestine or an overview of a validation of goms. In CHI 7892: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 307-312, New York, NY, USA. ACM.
  14. Grudin, J. (1989). The case against user interface consistency. Commun. ACM, 32(10):1164-1173.
  15. Hertzum, M. and Jacobsen, N. E. (2003). The evaluator effect: A chilling fact about usability evaluation methods. International Journal of Human-Computer Interaction, 15(1):183-204.
  16. Holzinger, A. (2005). Usability engineering methods for software developers. Commun. ACM, 48(1):71-74.
  17. Ivory, M. Y. and Hearst, M. A. (2001). The state of the art in automating usability evaluation of user interfaces. ACM Comput. Surv., 33(4):470-516.
  18. Jeffries, R., Miller, J. R., Wharton, C., and Uyeda, K. (1991). User interface evaluation in the real world: a comparison of four techniques. In CHI 7891: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 119-124, New York, NY, USA. ACM.
  19. John, B. E. and Kieras, D. E. (1996a). The goms family of user interface analysis techniques: comparison and contrast. ACM Trans. Comput.-Hum. Interact., 3(4):320-351.
  20. John, B. E. and Kieras, D. E. (1996b). Using goms for user interface design and evaluation: which technique? ACM Trans. Comput.-Hum. Interact., 3(4):287-319.
  21. L öwgren, J. and Nordqvist, T. (1992). Knowledge-based evaluation as design support for graphical user interfaces. In CHI 7892: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 181-188, New York, NY, USA. ACM.
  22. Lund, A. M. (1997). Another approach to justifying the cost of usability. interactions, 4(3):48-56.
  23. Mulligan, R. M., Altom, M. W., and Simkin, D. K. (1991). User interface design in the trenches: some tips on shooting from the hip. In CHI 7891: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 232-236, New York, NY, USA. ACM.
  24. Myers, B. (1994). Challenges of hci design and implementation. interactions, 1(1):73-83.
  25. Nielsen, J. (1992). Finding usability problems through heuristic evaluation. In CHI 7892: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 373-380, New York, NY, USA. ACM.
  26. Nielsen, J. (1993). Usability Engineering. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
  27. Nielsen, J. (1994). Enhancing the explanatory power of usability heuristics. In CHI 7894: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 152-158, New York, NY, USA. ACM.
  28. Paternó, F. and Faconti, G. (1993). On the use of lotos to describe graphical interaction. In HCI'92: Proceedings of the conference on People and computers VII, pages 155-173, New York, NY, USA. Cambridge University Press.
  29. Sears, A. (1995). Aide: a step toward metric-based interface development tools. In UIST 7895: Proceedings of the 8th annual ACM symposium on User interface and software technology, pages 101-110, New York, NY, USA. ACM.
  30. Thovtrup, H. and Nielsen, J. (1991). Assessing the usability of a user interface standard. In CHI 7891: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 335-341, New York, NY, USA. ACM.
  31. Vredenburg, K., Mao, J.-Y., Smith, P., and Carey, T. (2002). A survey of user-centered design practice. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, page 471478, New York. ACM Press.
Download


Paper Citation


in Harvard Style

Kristoffersen S. (2008). LEARNABILITY AND ROBUSTNESS OF USER INTERFACES - Towards a Formal Analysis of Usability Design Principles . In Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT, ISBN 978-989-8111-52-4, pages 261-268. DOI: 10.5220/0001869402610268


in Bibtex Style

@conference{icsoft08,
author={Steinar Kristoffersen},
title={LEARNABILITY AND ROBUSTNESS OF USER INTERFACES - Towards a Formal Analysis of Usability Design Principles},
booktitle={Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT,},
year={2008},
pages={261-268},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001869402610268},
isbn={978-989-8111-52-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Software and Data Technologies - Volume 2: ICSOFT,
TI - LEARNABILITY AND ROBUSTNESS OF USER INTERFACES - Towards a Formal Analysis of Usability Design Principles
SN - 978-989-8111-52-4
AU - Kristoffersen S.
PY - 2008
SP - 261
EP - 268
DO - 10.5220/0001869402610268