Transformations and decompositions of nets
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Extending Fitts' law to two-dimensional tasks
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
The Muse method for usability engineering
The Muse method for usability engineering
Beyond Fitts' law: models for trajectory-based HCI tasks
Proceedings of the ACM SIGCHI Conference on Human factors in computing systems
Manual and gaze input cascaded (MAGIC) pointing
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
Extracting usability information from user interface events
ACM Computing Surveys (CSUR)
Quantitative analysis of scrolling techniques
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A model-based tool for interactive prototyping of highly interactive applications
CHI '02 Extended Abstracts on Human Factors in Computing Systems
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
Remote automatic evaluation of web sites based on task models and browser monitoring
CHI '01 Extended Abstracts on Human Factors in Computing Systems
Characterizing Liveness of Petri Nets in Terms of Siphons
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
ACM '69 Proceedings of the 1969 24th national conference
Semantic pointing: improving target acquisition with control-display ratio adaptation
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Boomerang: suspendable drag-and-drop interactions based on a throw-and-catch metaphor
Proceedings of the 20th annual ACM symposium on User interface software and technology
Automated Usability Evaluation during Model-Based Interactive System Development
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
A Preliminary Experiment of Checking Usability Principles with Formal Methods
ACHI '09 Proceedings of the 2009 Second International Conferences on Advances in Computer-Human Interactions
ACM Transactions on Computer-Human Interaction (TOCHI)
Proceedings of the 2009 international conference on Multimodal interfaces
A Methodology and Framework to Simplify Usability Analysis of Mobile Applications
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Structuring interactive systems specifications for executability and prototypability
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Model-based usability evaluation: evaluation of tool support
HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability
Remote evaluation of mobile applications
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
| Hi-index | 0.00 |
While model-based approaches have been used for over 30 years in the field of behavioral description of interactive systems [27], the link between these approaches and user-centered design process remain insufficiently explained. This paper offers a contribution to this problem by presenting how a model-based approach can be exploited to facilitate the tasks of evaluation of usability that are often laborious and repetitive. The basic principle of this approach promotes the use of recording and analysis of log data in a model-based environment. The results described in this paper show that the log data at model level can be used not only to identify usability problems but also to identify changes to these models in order to correct the encountered problems. This approach is integrated in a process and is supported by a modelbased CASE tool for modeling, simulating and evaluating interactive systems. The case study illustrates the principles of the approach and operation of the tool on an interaction technique. It shows how the analysis of log data allows the designer to easily tune the interaction technique (as the results of the analysis of log data are presented at the same abstraction level than models). It proposes an alternative to user tests that are very difficult to configure and to interpret especially when advanced interaction techniques are concerned.