Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Specifications are not (necessarily) executable
Software Engineering Journal
Specifications are (preferably) executable
Software Engineering Journal
A design space for multimodal systems: concurrent processing and data fusion
INTERCHI '93 Proceedings of the INTERCHI '93 conference on Human factors in computing systems
The alphaslider: a compact and rapid selector
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Formal specification and verification of CSCW using the interactive cooperative object formalism
HCI '95 Proceedings of the HCI'95 conference on People and computers X
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
Software architecture in practice
Software architecture in practice
OMG overview: CORBA and the OMA in enterprise computing
Communications of the ACM
Exploring terra incognita in the design space of query devices
Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction
Embodied User Interfaces: Towards Invisible User Interfaces
Proceedings of the IFIP TC2/TC13 WG2.7/WG13.4 Seventh Working Conference on Engineering for Human-Computer Interaction
A Making-Movies Metaphor for Structuring Software Components in Highly Interactive Applications
HCI 97 Proceedings of HCI on People and Computers XII
A Petri Net based Environment for the Design of Event-driven Interfaces
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Prototyping Pre-implementation Designs of Virtual Environment Behaviour
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
Ivy: un bus logiciel au service du développement de prototypes de systèmes interactifs
IHM '02 Proceedings of the 14th French-speaking conference on Human-computer interaction (Conférence Francophone sur l'Interaction Homme-Machine)
A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
A model-based approach for real-time embedded multimodal systems in military aircrafts
Proceedings of the 6th international conference on Multimodal interfaces
First steps in the retro-engineering of a GUI toolkit in the B language
IHM 2003 Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine
Improving Modularity of Interactive Software with the MDPC Architecture
Engineering Interactive Systems
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
ACM Transactions on Computer-Human Interaction (TOCHI)
Malai: un modèle conceptuel d'interaction pour les systèmes interactifs
Proceedings of the 21st International Conference on Association Francophone d'Interaction Homme-Machine
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
USAB'07 Proceedings of the 3rd Human-computer interaction and usability engineering of the Austrian computer society conference on HCI and usability for medicine and health care
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction
Conference Internationale Francophone sur I'Interaction Homme-Machine
A model-based approach for supporting engineering usability evaluation of interaction techniques
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
| Hi-index | 0.00 |
This paper presents structuring mechanisms for building executable specifications, in the field of interactive applications, using the Interactive Cooperative Object formal description technique. The design life cycle of the specification is presented as well as how PetShop (a software tool support the ICO formal description technique) can effectively support the various phases of the life cycle. The concepts and the tool are presented on a Range Slider case study. The Range Slider is a medium size component, used for instance, in the field of dynamic queries for information retrieval and visualisation.