An object-oriented user interface management system
SIGGRAPH '86 Proceedings of the 13th annual conference on Computer graphics and interactive techniques
A survey of three dialogue models
ACM Transactions on Graphics (TOG)
A specification language for direct-manipulation user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
A user interface toolkit based on graphical objects and constraints
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Graphical specification of flexible user interface displays
UIST '89 Proceedings of the 2nd annual ACM SIGGRAPH symposium on User interface software and technology
Graphical toolkit approach to user interaction description
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Specification of interface interaction objects
CHI '94 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Interaction and modeling techniques for desktop two-handed input
Proceedings of the 11th annual ACM symposium on User interface software and technology
A software model and specification language for non-WIMP user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
Squeak: a language for communicating with mice
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
Direct-manipulation user interface modeling with high-level Petri nets
CSC '91 Proceedings of the 19th annual conference on Computer Science
Prototyping Pre-implementation Designs of Virtual Environment Behaviour
EHCI '01 Proceedings of the 8th IFIP International 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
A three-state model of graphical input
INTERACT '90 Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction
The device model of interaction
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
A generalized transition network representation for interactive systems
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
ACM '69 Proceedings of the 1969 24th national conference
Designing Transition Networks for Multimodal VR-Interactions Using a Markup Language
ICMI '02 Proceedings of the 4th IEEE International Conference on Multimodal Interfaces
A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
XISL: a language for describing multimodal interaction scenarios
Proceedings of the 5th international conference on Multimodal 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
Proceedings of the 17th annual ACM symposium on User interface software and technology
Extensible input handling in the subArctic toolkit
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Migratory MultiModal interfaces in MultiDevice environments
ICMI '05 Proceedings of the 7th international conference on Multimodal interfaces
Programming rich interactions using the hierarchical state machine toolkit
Proceedings of the working conference on Advanced visual interfaces
SwingStates: adding state machines to the swing toolkit
UIST '06 Proceedings of the 19th annual ACM symposium on User interface software and technology
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
Gesture recognition with a Wii controller
Proceedings of the 2nd international conference on Tangible and embedded interaction
Proceedings of the 2nd international conference on Tangible and embedded interaction
Gummy for multi-platform user interface designs: shape me, multiply me, fix me, use me
AVI '08 Proceedings of the working conference on Advanced visual interfaces
Proceedings of the 2009 international conference on Multimodal interfaces
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
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
Integrating support for usability evaluation into high level interaction descriptions with NiMMiT
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
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
USIXML: a language supporting multi-path development of user interfaces
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
Improving modularity and usability of interactive systems with Malai
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
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
DREAMER: a design rationale environment for argumentation, modeling and engineering requirements
Proceedings of the 28th ACM International Conference on Design of Communication
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction
Conference Internationale Francophone sur I'Interaction Homme-Machine
Self-checking widgets for interactive cockpits
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
Engineering automation in interactive critical systems
CHI '11 Extended Abstracts on Human Factors in Computing Systems
A model-based approach for supporting engineering usability evaluation of interaction techniques
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Model-based training: an approach supporting operability of critical interactive systems
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
User interface representation using simple components
HCII'11 Proceedings of the 14th international conference on Human-computer interaction: design and development approaches - Volume Part I
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
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
Formal tasks and systems models as a tool for specifying and assessing automation designs
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
Using complementary models-based approaches for representing and analysing ATM systems' variability
Proceedings of the 2nd International Conference on Application and Theory of Automation in Command and Control Systems
HCSE'12 Proceedings of the 4th international conference on Human-Centered Software Engineering
Can GUI implementation markup languages be used for modelling?
HCSE'12 Proceedings of the 4th international conference on Human-Centered Software Engineering
Fault-tolerant interactive cockpits for critical applications: overall approach
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
Formal description of multi-touch interactions
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Assessing the support provided by a toolkit for rapid prototyping of multimodal systems
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Addressing dependability for interactive systems: application to interactive cockpits
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
The CoGenIVE concept revisited: a toolkit for prototyping multimodal systems
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Engineering works: what is (and is not) engineering for interactive computer systems?
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
EISEval, a generic reconfigurable environment for evaluating agent-based interactive systems
International Journal of Human-Computer Studies
Model-based dynamic distribution of user interfaces of critical interactive systems
Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems
Proceedings of the 31st European Conference on Cognitive Ergonomics
Heterogeneous modeling of gesture-based 3D applications
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
International Journal of Human-Computer Studies
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach
International Journal of Critical Computer-Based Systems
User interfaces for smart things -- A generative approach with semantic interaction descriptions
ACM Transactions on Computer-Human Interaction (TOCHI)
Hi-index | 0.00 |
The design of real-life complex systems calls for advanced software engineering models, methods, and tools in order to meet critical requirements such as reliability, dependability, safety, or resilience that will avoid putting the company, the mission, or even human life at stake. When such systems encompass a substantial interactive component, the same level of confidence is required towards the human-computer interface. Conventional empirical or semiformal techniques, although very fruitful, do not provide sufficient insight on the reliability of the human-system cooperation, and offer no easy way to, for example, quantitatively and qualitatively compare two design options with respect to that reliability. The aim of this article is to present a user interface description language (called ICOs) for the engineering and development of usable and reliable user interfaces. The CASE tool supporting the ICOs notation (called Petshop) is a Petri nets-based-tool for the design, specification, prototyping, and validation of interactive software. In that environment models (built with the formal description technique ICOs) of the interactive application can be interactively modified and executed. This is used to support prototyping phases (when the models and the interactive application evolve significantly to meet late user requirements, for instance) as well as the operation phase (after the system is deployed). The use of ICOs and PetShop is presented on several large-scale systems such as a multimodal ground segment application for satellite control, an air traffic control interactive application, and an application for new generation of interactive cockpits in large civil aircraft such as Airbus A380 or Boeing 787. The article emphasizes the demonstration of the expressive power of the notation and how it can support the description of various aspects of user interfaces, namely interaction techniques (both WIMP and post-WIMP), interactive components (such as widgets), and the behavioral part of interactive applications such as the dialog and the functional core. It also demonstrates that PetShop provides dedicated support for prototyping activities of behavioral aspects at the various levels of the architecture of interactive systems. While the focus is on past work done on various large-scale applications, the article also highlights why and how ICOs and Petshop are able to address challenges raised by next-generation user interfaces.