Developing user interfaces: ensuring usability through product & process
Developing user interfaces: ensuring usability through product & process
Encapsulating knowledge for intelligent automatic interaction objects selection
INTERCHI '93 Proceedings of the INTERCHI '93 conference on Human factors in computing systems
Communications of the ACM
Communications of the ACM
Visual construction of highly interactive applications
Proceedings of the third IFIP WG2.6 working conference on Visual database systems 3 (VDB-3)
A software model and specification language for non-WIMP user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
Model-based design of user interfaces using object-Z
Proceedings of the third international conference on Computer-aided design of user interfaces
A method engineering framework for modeling and generating interactive applications
Proceedings of the third international conference on Computer-aided design of user interfaces
Instrumental interaction: an interaction model for designing post-WIMP user interfaces
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
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
Distributed prototyping from validated specifications
Journal of Systems and Software - Special issue: Rapid system prototyping
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)
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
Engineering animations in user interfaces
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
| Hi-index | 0.00 |
Abstract: This paper presents a case tool supporting the ICO (Interactive Cooperative Object) formalism. This formalism allows for describing, in a formal way, highly interactive applications (also called post-WIMP). The first section describes why such user interfaces are challenging for most description techniques as well as the state of the art in this field. Then, we use a case study in order to recall the basic concepts of the ICO formalism and the recent extensions added in order to take into account post-WIMP interfaces' specificities. Then a case study is introduced in order to exemplify the use of the ICO formalism. Lastly, we present the case tool PetShop supporting the ICO formalism and how the case study presented in the previous section has been dealt with.