Developing user interfaces: ensuring usability through product & process
Developing user interfaces: ensuring usability through product & process
A software model and specification language for non-WIMP user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
Instrumental interaction: an interaction model for designing post-WIMP user interfaces
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
Formal specification of CORBA services: experience and lessons learned
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
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
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
The Input Configurator toolkit: towards high input adaptability in interactive applications
Proceedings of the working conference on Advanced visual interfaces
Support for input adaptability in the ICON toolkit
Proceedings of the 6th international conference on Multimodal interfaces
A model-based approach for real-time embedded multimodal systems in military aircrafts
Proceedings of the 6th international conference on Multimodal interfaces
The MaggLite post-WIMP toolkit: draw it, connect it and run it
Proceedings of the 17th annual ACM symposium on User interface software and technology
Journal of Systems and Software
Testing Interactive Software: A Challenge for Usability and Reliability
CHI '06 Extended Abstracts on Human Factors in Computing Systems
CHI '07 Extended Abstracts on Human Factors in Computing Systems
Proceedings of the 2009 international conference on Multimodal interfaces
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
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
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
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
Modeling animations for dependable interactive applications
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
A formal description of multimodal interaction techniques for immersive virtual reality applications
INTERACT'05 Proceedings of the 2005 IFIP TC13 international conference on Human-Computer Interaction
Exploiting gaming research and practice for engineering interactive critical systems
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems
Engineering animations in user interfaces
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Formal description of multi-touch interactions
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
| Hi-index | 0.00 |
We present a model-based case tool dedicated to the prototyping of highly interactive (also called post-WIMP) applications. Such applications are challenging to model and to prototype, since they require the use of non-standard widgets and interaction techniques and exhibit a complex dynamic behavior. The tool, called PetShop, embodies the results of several years of research about the formal modeling of interactive systems, and its main application domain is safety-critical interactive applications such air-traffic control or military command and control systems. PetShop stands apart from most formal-based tools since it supports and promotes an iterative and user-centered design process, and also stands apart from most model-based tools since it goes beyond WIMP interfaces and does not sacrifice the formal validation of models.