ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability
D Navarre, P Palanque, JF Ladry… - ACM Transactions on …, 2009 - dl.acm.org
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 …
methods, and tools in order to meet critical requirements such as reliability, dependability …
Ivy: un bus logiciel au service du développement de prototypes de systèmes interactifs
M Buisson, A Bustico, S Chatty, FR Colin… - Proceedings of the 14th …, 2002 - dl.acm.org
This paper focuses on the experience we have acquired by developping and using the Ivy
software bus to design human-computer interactive prototypes for Air Traffic Control. We list …
software bus to design human-computer interactive prototypes for Air Traffic Control. We list …
A model-based approach for real-time embedded multimodal systems in military aircrafts
This paper presents the use of a model-based approach for the formal description of real-
time embedded multimodal systems. This modeling technique has been used in the field of …
time embedded multimodal systems. This modeling technique has been used in the field of …
Formal socio-technical barrier modelling for safety-critical interactive systems design
S Basnyat, P Palanque, B Schupp, P Wright - Safety Science, 2007 - Elsevier
This paper presents a three step approach to improve safety in the field of interactive
systems. The approach combines, within a single framework, previous work in the field of …
systems. The approach combines, within a single framework, previous work in the field of …
Engineering Rehabilitation: Blending Two Tool-supported Approaches to Close the Loop from Tasks-based Rehabilitation to Exercises and Back Again
Post-stroke or post-brain injuries rehabilitation is a long-term process defined by therapists
and tuned to the specific damages and their consequences for each patient. This process …
and tuned to the specific damages and their consequences for each patient. This process …
High-fidelity prototyping of interactive systems can be formal too
The design of safety critical systems calls for advanced software engineering models,
methods and tools in order to meet the safety requirements that will avoid putting human life …
methods and tools in order to meet the safety requirements that will avoid putting human life …
A tool-supported design framework for safety critical interactive systems
This paper presents a design framework for safety critical interactive systems, based on a
formal description technique called the ICO (Interactive Cooperative Object) formalism. ICO …
formal description technique called the ICO (Interactive Cooperative Object) formalism. ICO …
A model-based tool for interactive prototyping of highly interactive applications
This paper presents a case tool supporting the ICO (Interactive Cooperative Object)
formalism. This formalism allows for describing, in a formal way, highly interactive …
formalism. This formalism allows for describing, in a formal way, highly interactive …
Prototyping pre-implementation designs of virtual environment behaviour
JS Willans, MD Harrison - IFIP International Conference on Engineering …, 2001 - Springer
Virtual environments lack a standardised interface between the user and application, this
makes it possible for the interface to be highly customised for the demands of individual …
makes it possible for the interface to be highly customised for the demands of individual …
POISE: a framework for designing perfect interactive systems with and for imperfect people
P Palanque - Human-Computer Interaction–INTERACT 2021: 18th …, 2021 - Springer
The operator is frequently considered as the main sources of vulnerability in command and
control systems; for example, in a 2006 survey 79% of fatal accidents in aviation were …
control systems; for example, in a 2006 survey 79% of fatal accidents in aviation were …