User and task analysis for interface design
User and task analysis for interface design
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
The B Language and Method: A Guide to Practical Formal Development
The B Language and Method: A Guide to Practical Formal Development
Usability Engineering
K-MADe: un environnement pour le noyau du modèle de description de l'activité
IHM '06 Proceedings of the 18th International Conferenceof the Association Francophone d'Interaction Homme-Machine
Proceedings of the Ergonomie et Informatique Avancee Conference
Formally expressing the users' objects world in task models
TAMODIA'09 Proceedings of the 8th international conference on Task Models and Diagrams for User Interface Design
Hi-index | 0.00 |
Past research in task modeling suggests the need to introduce objects when using task models for the design of interactive applications. Objects are however rarely included in the task model notations and formalisms. Furthermore, when part of the formalism, their definition is usually informal; and the supporting tool does not generally take them into account for simulation. K-MADe is the first tool that fully uses objects for condition evaluations during task model simulation. This paper presents an evaluation investigating the usage of formal objects with K-MADe. The results show that whilst object concepts seem to be essential in the task model process, their usage and manipulation is not easy.