A model-based approach for supporting engineering usability evaluation of interaction techniques

Proceedings of the 2011 SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011

Volumn , Issue , 2011, Pages 21-30

  Palanque, Philippe ^a   Barboni, Eric ^a   Martinie, Célia ^a   Navarre, David ^a   Winckler, Marco ^a  

^a UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

Interaction techniques; Interactive systems modeling; Model based usability evaluation; Performance evaluation

Indexed keywords

ABSTRACTION LEVEL; EVALUATION OF INTERACTIVE SYSTEMS; FORMAL ANALYSIS; INTERACTION TECHNIQUES; INTERACTIVE SYSTEM; LOG ANALYSIS; LOG DATA; MODEL BASED APPROACH; MODEL-BASED USABILITY EVALUATION; PERFORMANCE EVALUATION; USABILITY EVALUATION; USABILITY PROBLEMS; USER TESTING;

COMPUTER SYSTEMS; USABILITY ENGINEERING; USER INTERFACES;

COMPUTER SIMULATION;

EID: 79960158633     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1996461.1996490     Document Type: Conference Paper

References (36)

1. Accot, J. and Zhai, S. 1997. Beyond Fitts' law: models for trajectory-based HCI tasks. In Proceedings of CHI'97 (Atlanta, USA). ACM, pp. 295-302.
2. ARINC 661 Cockpit Display System Interfaces to User Systems. ARINC Specification 661. Airlines Electronic Engineering Committee 2002
3. Balagtas-Fernandez F., Hußmann H., A Methodology and Framework to Simplify Usability Analysis of Mobile Applications. In Proc. of ASE'2009, p. 520-524.
4. Barboni, E., Ladry, J-F, Navarre, D., Palanque, P., Winckler, M. Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models. In proceedings of ACM Symposium on Engineering Interactive Systems (EICS'2010), June 19-23, 2010, Berlin, Germany. Pages: 165-174
5. Bastide, R., Navarre, D., and Palanque, P. 2002. A model-based tool for interactive prototyping of highly interactive applications. In Proceedings of CHI '02, pp. 516-517.
6. Bastide R., Palanque P., Le Duc H., and Munoz J. (1998). Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. Proc. of the 5th Eurographics workshop on Design, Specification and Verification of Interactive systems DSV-IS'98. Springer Verlag.
7. Baudisch, P., Cutrell, E., Robbins, D., Czerwinski, M., Tand-ler, P. Bederson, B., and Zierlinger, A. Drag-and-Pop and Drag-and-Pick: Techniques for Accessing Remote Screen Content on Touch-and Pen-operated Systems. In Proc. of Interact 2003, pp. 57-64.
8. Bernhaupt, R., Navarre, D., Palanque, P., Winckler, M. Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. In Maturing Usability: Quality in Software, Interaction and Quality (chapter 5). Law E., Thora Hvannberg E., Cockton G. & Vanderdonckt J. (Eds.). Springer Verlag (HCI Series), 2007, p. 96-122.
9. Blanch R., Guiard Y. and Beaudouin-Lafon M. Semantic Pointing: Improving Target Acquisition with Control-Display Ratio Adaptation. In Proceedings of CHI 2004, (Vienna, Austria, April 2004), pp. 519-526.
10. Bowman, Doug A., Hodges, Larry F. Formalizing the Design, Evaluation, and Application of Interaction Techniques for Immersive Virtual Environments. J. Vis. Lang. Comput. 10(1): 37-53 (1999).
11. Buchholz G, Engel J, Märtin C, Propp S. Model-based usability evaluation -evaluation of tool support. HCII 2007, (Beijing, China) pp. 1043-52. Springer-Verlag.
12. Collomb, M. and Hascoët, M. 2008. Extending drag-and-drop to new interactive environments: A multi-display, multi-instrument and multi-user approach. Interact. Comput. 20, 6 (Dec. 2008), pp. 562-573.
13. Feuerstack, S., Blumendorf, M., Kern, M., Kruppa, M., Quade, M., Runge, M., and Albayrak, S. 2008. Automated Usability Evaluation during Model-Based Interactive System Development. In Proceedings of TAMODIA'08 (Pisa, Italy). LNCS, vol. 5247. Springer-Verlag, pp. 134-141.
14. Fitts, P. M. 1954. The information capacity of the human motor system in controlling the amplitude of move-ment. Journal of Experimental Psychology, 47, pp. 381-391.
15. nd ACM SIGCHI symposium on Engineering interactive computing systems (EICS '10). ACM, New York, NY, USA, 145-154.
16. Hascoët, M. 2003. Throwing models for large displays. In: HCI2003, Designing for society, vol. 2. British HCI Group. pp. 73-77.
17. Hilbert, D. M. and Redmiles, D. F. 2000. Extracting usability information from user interface events. ACM Comput. Surv. 32, 4 (Dec. 2000), pp. 384-421.
18. Hinckley, K., Cutrell, E., Bathiche, S., and Muss, T. 2002. Quantitative analysis of scrolling techniques. In Proceedings of CHI'02 (Minneapolis, USA), pp. 65-72.
19. Jiao, L., Cheung, T-Y, Lu, W. Characterizing Liveness of Petri Nets in Terms of Siphon. ICATPN 2002, LNCS 2360, pp. 203-216, Springer-Verlag.
20. Kobayashi, M. and Igarashi, T. 2007. Boomerang: suspendable drag-and-drop interactions based on a throw-and-catch metaphor. In Proc. of the 20th Annual ACM Symposium on User interface Software and Technology (Newport, Rhode Island, USA, October 07-10, 2007). UIST '07. ACM, New York, NY, 187-190. (Pubitemid 351429353)
21. Kristoffersen, S. 2009. A Preliminary Experiment of Checking Usability Principles with Formal Methods. In Proc. of ACHI'09. IEEE Computer Society, 261-270.
22. Ladry J-F., Navarre D., Palanque P. Formal Description Techniques to Support the Design, Construction and Evaluation of Fusion Engines for SURE (Safe Usable, Reliable and Evolvable) Multimodal Interfaces. In: ICMI-MLMI 2009, Cambridge, Massachusetts, USA, ACM, p. 135-142, 2009.
23. Lalanne D., Nigay L., Palanque P., Robinson P., Vanderdonckt J., and Ladry J-F. 2009. Fusion engines for multimodal input: a survey. In Proceedings of the 2009 international conference on Multimodal interfaces (ICMI-MLMI '09). ACM, New York, USA, 153-160.
24. Mackay, W.E. Ethics, lies and videotape, in Proceedings of CHI '95 (Denver CO, May 1995), ACM Press, 138-145.
25. MacKenzie, I. S. and Buxton, W. 1992. Extending Fitts' law to two-dimensional tasks. In Proceedings of CHI'92 (Monterey, United States), ACM, pp. 219-226 (Pubitemid 23609839)
26. Navarre, D., Palanque, P., Ladry, J., and Barboni, E. 2009. ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM TOCHI 16,4 (Nov. 2009), pp. 1-56.
27. Navarre, D.; Palanque, P.; Schyn, A.; Winckler, M.; Nedel, L.; Freitas, C. M. D. S. A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. In Proceedings of TC13-IFIP Conference INTERACT 2005, Rome, Italy (12th-16th September 2005). pp. 170-183.
28. Navarre D. Palanque P. Bastide R, and Sy, O. Structuring interactive systems specifications for executability and prototypability. In Proceedings of DSV-IS'2000. LNCS. no 1946, Springer Verlag, pp. 145-161.
29. Palanque P. & Bastide R. (1995). Verification of an Interactive Software by analysis of its formal specification. Proc. of the IFIP TC 13 Interact'95, pp. 191-197.
30. Palanque, P., Bernhaupt, R., Navarre, D., Ould, M., Winckler, M. Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. Ninth International Conference on Space Operations, Rome, Italy, June 18-22, 2006.
31. Palanque, P., Winckler, M., Ladry, J-F., ter Beek, M., Faconti, G., Massink, M. A Formal Approach Supporting the Comparative Predictive Assessment of the Interruption-Tolerance of Interactive Systems In Proceedings of the ACM Symposium on Engineering Interactive Computing Systems (EICS 2009) Pittsburgh, USA. pp. 211-220. ACM Press.
32. Paternò, F., Russino, A., Santoro, C. (2007) Remote evaluation of Mobile Applications. In Proceedings of TAMODIA 2007, Toulouse, France, LNCS Vol. 4849.
33. ter Beek, M., Faconti, G., Massink, M., Palanque, P., Winckler, M. Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach 12th IFIP TC 13 Conference on Human-Computer Interaction (INTERACT 2009) Uppsala, Sweeden, Springer Verlag, LNCS no 5727, p. 494-509.
34. Tiedtke, T., Märtin, C., Gerth, N. Awusa, A tool for automated website usability analysis. In: PreProceedings of the 9th Int. Workshop DSV-IS 2002, Rostock, Germany, pp. 251-266 (2002).
35. Yuan X., Cohen M. & Memon A. GUI Interaction Testing: Incorporating Event Context", IEEE Transactions on Software Engineering, 2010, IEEE Computer Society.
36. Zhai, S., Morimoto, C. Ihde, S. (1999) Manual And Gaze Input Cascaded (MAGIC) Pointing. In Proceeding of CHI'99, pp. 246-253.