Heuristic evaluation of user interfaces
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Evaluating a user interface with ergonomic criteria
International Journal of Human-Computer Interaction
Object-oriented specification of user interfaces
Software—Practice & Experience
OBSM: a notation to integrate different levels of user interface design
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems
INTERACT '97 Proceedings of the IFIP TC13 Interantional Conference on Human-Computer Interaction
Supporting dynamic management in a multi-agent collaborative design system
Advances in Engineering Software
Supporting the cognitive process of user interface design with reusable design cases
International Journal of Human-Computer Studies
Towards a new approach of model-based HCI conception
MIV'06 Proceedings of the 6th WSEAS International Conference on Multimedia, Internet & Video Technologies
Exploring interaction space as abstraction mechanism for task-based user interface design
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
UI generation from task, domain and user models: the DB-USE approach
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Agent-Based user interface generation from combined task, context and domain models
TAMODIA'09 Proceedings of the 8th international conference on Task Models and Diagrams for User Interface Design
Task-Based recommendation of mashup components
ICWE'11 Proceedings of the 11th international conference on Current Trends in Web Engineering
Hi-index | 0.00 |
This paper presents an approach of generating the user interface from the task model. Our work is situated in the course of approaches based on models. This approach called TOOD (Task Object Oriented Design) is based on a formal notation, which gives quantitative results that may be checked by designers and provide the possibility of performing mathematical verifications on the models. The modelling formalism is based on the joint use of the object approach and high level Petri nets. The TOOD method integrates different models (task model, user model, local model of the interface, abstract model of the interface, and model of the implementation) and their relations. An example, extracted from the air traffic control, is presented to illustrate TOOD methodology.