Towards a general computational framework for model-based interface development systems
IUI '99 Proceedings of the 4th international conference on Intelligent user interfaces
A comparison of tools for building GOMS models
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
Using information in task models to support design of interactive safety-critical applications
AVI '00 Proceedings of the working conference on Advanced visual interfaces
Model-Based Design and Evaluation of Interactive Applications
Model-Based Design and Evaluation of Interactive Applications
Specification and simulation of task models with VTMB
CHI '99 Extended Abstracts on Human Factors in Computing Systems
CTTE: an environment for analysis and development of task models of cooperative applications
CHI '01 Extended Abstracts on Human Factors in Computing Systems
Validating interactive system design through the verification of formal task and system models
Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction
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
Petri net objects for the design, validation and prototyping of user-driven interfaces
INTERACT '90 Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction
Reasoning about Interactive Systems with Stochastic Models
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Modelling Dynamic Group Behaviours
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Towards a Ubiquitous Semantics of Interaction: Phenomenology, Scenarios, and Traces
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Intégration d'un modèle de tâche dans une démarche sûre de construction d'interface
IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)
IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)
The mapping problem back and forth: customizing dynamic models while preserving consistency
TAMODIA '04 Proceedings of the 3rd annual conference on Task models and diagrams
Task models as basis for requirements engineering and software execution
TAMODIA '04 Proceedings of the 3rd annual conference on Task models and diagrams
Journal of Systems and Software
Hierarchical Structure: A Step for Jointly Designing Interactive Software Dialog and Task Model
Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques
Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs
Proceedings of the 21st International Conference on Association Francophone d'Interaction Homme-Machine
Validating complex interactions in air traffic management
HSI'09 Proceedings of the 2nd conference on Human System Interactions
Model-based support for specifying eService eGovernment applications
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
Error patterns: systematic investigation of deviations in task models
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
The COMETs inspector: towards run time plasticity control based on a semantic network
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
On the benefit of synergistic model-based approach forsafety critical interactive system testing
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
Generating interactive applications from task models: a hard challenge
TAMODIA'07 Proceedings of the 6th international conference on Task models and diagrams for user interface design
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
Structuring and composition mechanisms to address scalability issues in task models
INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part III
Task model simulation using interaction templates
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Supporting resource-based analysis of task information needs
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
| Hi-index | 0.00 |
This paper presents a set of tools supporting the development of interactive systems using two different notations. One of these notations, called ConcurTaskTrees (CTT), is used for task modelling. The other notation, called Interactive Cooperative Objects (ICO), is used for system modelling. Even though these two kinds of models represent two different views of the same world (users interacting with interactive systems), they are built by different people and used independently. The aim of this paper is to propose the use of scenarios as a bridge between these two views. On the task modelling side, scenarios are seen as possible traces of activities, while on the system side, they are viewed as traces of actions. This generic approach is presented in a case study in the domain of Air Traffic Control.