Extending Fitts' law to two-dimensional tasks
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
CHI '95 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
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
Characterizing Liveness of Petri Nets in Terms of Siphons
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
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
Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
ACM Transactions on Computer-Human Interaction (TOCHI)
Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach
INTERACT '09 Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I
Fusion engines for multimodal input: a survey
Proceedings of the 2009 international conference on Multimodal interfaces
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
User interface model discovery: towards a generic approach
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
GUI Interaction Testing: Incorporating Event Context
IEEE Transactions on Software Engineering
A formal description of multimodal interaction techniques for immersive virtual reality applications
INTERACT'05 Proceedings of the 2005 IFIP TC13 international conference on Human-Computer Interaction
A model-based approach to ongoing product evaluation
Proceedings of the International Working Conference on Advanced Visual Interfaces
An automated layout approach for model-driven WIMP-UI generation
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Using complementary models-based approaches for representing and analysing ATM systems' variability
Proceedings of the 2nd International Conference on Application and Theory of Automation in Command and Control Systems
HCSE'12 Proceedings of the 4th international conference on Human-Centered Software Engineering
Formal description of multi-touch interactions
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Patterns and models for automated user interface construction: in search of the missing links
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
Modeling Data for Enterprise Systems with Memories
Journal of Database Management
Hi-index | 0.00 |
This paper offers a contribution for engineering interaction techniques by proposing a model-based approach for supporting usability evaluation. This approach combines different techniques including formal analysis of models, simulation and, in particular, analysis of log data in a model-based environment. This approach is integrated in a process and is supported by a model-based CASE tool for modeling, simulation and evaluation of interactive systems. A case study illustrates the approach and operation of the tool. The results demonstrate that the log data at model level can be used not only to identify usability problems but also to identify where to operate changes to these models in order to fix usability problems. Finally we show how the analysis of log data allows the designer to easily shape up the interaction technique (as the results of log analysis are presented at the same abstraction level of models). Such as an approach offers an alternative to user testing that are very difficult to configure and to interpret especially when advanced interaction techniques are concerned