A preliminary experiment of checking usability principles with formal methods

Proceedings of the 2nd International Conferences on Advances in Computer-Human Interactions, ACHI 2009

Volumn , Issue , 2009, Pages 261-270

  Kristoffersen, Steinar ^a  

^a ØSTFOLD UNIVERSITY COLLEGE   (Norway)

Author keywords

Automatic usability evaluation; Maude; Model checking; Rewriting logic; XUL (XML user interface language)

Indexed keywords

EXPERIMENTS; FORMAL METHODS; INTERACTIVE COMPUTER SYSTEMS; LIFE CYCLE; LINGUISTICS; MARKUP LANGUAGES; QUERY LANGUAGES; SPECIFICATION LANGUAGES; SPECIFICATIONS; USABILITY ENGINEERING; USER INTERFACES; XML;

AUTOMATIC USABILITY EVALUATION; FORMAL APPROACHES; FORMAL SPECIFICATIONS; INTERFACE SPECIFICATIONS; MAUDE; MODEL-BASED; MODEL-BASED SOFTWARE ENGINEERINGS; MODELING TECHNIQUES; REWRITING LOGIC; SYSTEMS DEVELOPMENT; THEORETICAL COMPUTER SCIENCE; XUL (XML USER INTERFACE LANGUAGE);

MODEL CHECKING;

EID: 63749126618     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACHI.2009.26     Document Type: Conference Paper

References (36)

1. S. Ambler. Agile model driven development is good enough. Software, IEEE, 20(5):71-73, Sept.-Oct. 2003.
2. C. Atkinson and T. Kuhne. Model-driven development: a metamodeling foundation. Software, IEEE, 20(5):36-41, Sept.-Oct. 2003.
3. F. Baader and T. Nipkow. Term rewriting and all that. Cambridge University Press, New York, NY, USA, 1998.
4. K. Baker, S. Greenberg, and C. Gutwin. Empirical development of a heuristic evaluation methodology for shared workspace groupware. In CSCW '02: Proceedings of the 2002 ACM conference on Computer supported cooperative work, pages 96-105, New York, NY, USA, 2002. ACM.
5. N. Bevan and M. MacLeod. Usability measurement in context. Behaviour & Information Technology, 13:132-145, 1994.
6. G. Brajnik. Using Automatic Tools in Accessibility and Usability Assurance Processes, pages 219-234. Springer, 2004.
7. G. Calvary and J. Coutaz. Catchit, a development environment for transparent usability testing. In TAMODIA '02: Proceedings of the First International Workshop on Task Models and Diagrams for User Interface Design, pages 151-160. INFOREC Publishing House Bucharest, 2002.
8. P. Carlshamre and M. Rantzer. Dissemination of usability: Failure of a success story. interactions, 8(1), 2001.
9. A. Chevalier and M. Y. Ivory. Web site designs: influences of designer's expertise and design constraints. Int. J. Hum.-Comput. Stud., 58(1):57-87, 2003.
10. M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. F. Quesada. The maude system. In RtA '99: Proceedings of the 10th International Conference on Rewriting Techniques and Applications, pages 240-243, London, UK, 1999. Springer-Verlag.
11. J. Coutaz, D. Salber, E. Carraux, and N. Portolan. Neimo, a multiworkstation usability lab for observing and analyzing multimodal interaction. In CHI '96: Conference companion on Human factors in computing systems, pages 402-403, New York, NY, USA, 1996. ACM.
12. A. Dix, J. Finlay, G. Abowd, and R. Beale. Humancomputer interaction. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1997.
13. C. Farenc, V. Liberati, and M.-F. Barthet. Automatic er-gonomic evaluation: What are the limits? In Proceedings of the Third International Conference on Computer-Aided Design of User Interfaces, Dordrecht, The Netherlands, 1999. Kluwer Academic Publishers.
14. X. Ferre, N. Juristo, H. Windl, and L. Constantine. Usability basics for software developers. Software, IEEE, 18(1):22-29, Jan/Feb 2001.
15. E. Folmer and J. Bosch. Architecting for usability; a survey. Journal of Systems and Software, 70(1):61-78, 2004.
16. D. R. Gentner and J. Grudin. Why good engineers (sometimes) create bad interfaces. In CHI '90: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 277-282, New York, NY, USA, 1990. ACM.
17. M. Hertzum and N. E. Jacobsen. The evaluator effect: A chilling fact about usability evaluation methods. International Journal of Human-Computer Interaction, 15(1):183-204, 2003.
18. A. Holzinger. Usability engineering methods for software developers. Commun. ACM, 48(1):71-74, 2005.
19. M. Y. Ivory and M. A. Hearst. The state of the art in automating usability evaluation of user interfaces. ACM Com-put. Surv., 33(4):470-516, 2001.
20. R. Jeffries, J. R. Miller, C. Wharton, and K. Uyeda. User interface evaluation in the real world: a comparison of four techniques. In CHI '91: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 119-124, New York, NY, USA, 1991. ACM.
21. A. Lecerof and F. Paterno. Automatic support for usability evaluation. IEEE Transactions on Software Engineering, 24(10):863-888, 1998.
22. B. Liskov and S. Zilles. Programming with abstract data types. In Proceedings of the ACM SIGPLAN symposium on Very high level languages, pages 50-59, New York, NY, USA, 1974. ACM.
23. J. Löwgren and T. Nordqvist. Knowledge-based evaluation as design support for graphical user interfaces. In CHI '92: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 181-188, New York, NY, USA, 1992. ACM.
24. R. M. Mulligan, M. W. Altom, and D. K. Simkin. User interface design in the trenches: some tips on shooting from the hip. In CHI '91: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 232-236, New York, NY, USA, 1991. ACM.
25. B. Myers. Challenges of hci design and implementation. interactions, 1(1):73-83, 1994.
26. J. Nielsen. Finding usability problems through heuristic evaluation. In CHI '92: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 373-380, New York, NY, USA, 1992. ACM.
27. J. Nielsen. Usability Engineering. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1993.
28. J. Nielsen. Enhancing the explanatory power of usability heuristics. In CHI '94: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 152-158, New York, NY, USA, 1994. ACM.
29. J. Nielsen. Why gui panic is good panic. interactions, 1(2):55-58, 1994.
30. C. Rich and Y. A. Feldman. Seven layers of knowledge representation and reasoning in support of software development. IEEE Trans. Softw. Eng., 18(6):451-469, 1992.
31. A. Sears. Aide: a step toward metric-based interface development tools. In UIST '95: Proceedings of the 8th annual ACM symposium on User interface and software technology, pages 101-110, New York, NY, USA, 1995. ACM.
32. A. Seffah, M. Donyaee, , R. B. Kline, and H. K. Padda. Usability measurement and metrics: A consolidated model. Software Quality Journal, 2006.
33. B. Selic. The pragmatics of model-driven development. IEEE Softw., 20(5):19-25, 2003.
34. S. Sendall and W. Kozaczynski. Model transformation: The heart and soul of model-driven software development. IEEE Softw., 20(5):42-45, 2003.
35. H. Thovtrup and J. Nielsen. Assessing the usability of a user interface standard. In CHI '91: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 335-341, New York, NY, USA, 1991. ACM.
36. K. Vredenburg, J.-Y. Mao, P. Smith, and T. Carey. A survey of user-centered design practice. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, page 471478, New York, 2002. ACM Press.