Extending procedural task models by systematic explicit integration of objects, knowledge and information
C Martinie, P Palanque, M Ragosta… - Proceedings of the 31st …, 2013 - dl.acm.org
Task analysis can be considered as a fundamental component of user centered design
methods as it provides a unique way of analyzing in a systematic way users' roles and …
methods as it provides a unique way of analyzing in a systematic way users' roles and …
A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems
Evolution in the context of use requires evolutions in the user interfaces even when they are
currently used by operators. User Centered Development promotes reactive answers to this …
currently used by operators. User Centered Development promotes reactive answers to this …
Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface …
In the last years, User Interface Description Languages (UIDLs) appeared as a suitable
solution for developing interactive systems. In order to implement reliable and efficient …
solution for developing interactive systems. In order to implement reliable and efficient …
Towards MBSE engineering dedicated to socio-technical interactive systems
Command and control rooms are socio-technical systems that gather many devices and
software of different types and aim at supporting groups of operators to manage missions …
software of different types and aim at supporting groups of operators to manage missions …
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 …
Exploiting action theory as a framework for analysis and design of formal methods approaches: Application to the CIRCUS integrated development environment
During early phases of the development of an interactive system, future system properties
are identified (through interaction with end-users, eg, in the brainstorming and prototyping …
are identified (through interaction with end-users, eg, in the brainstorming and prototyping …
Designing and assessing interactive systems using task models
Task analysis is meant to identify user goals and tasks when using an interactive system. In
the case of users performing real-life work, task analysis can be a cumbersome process …
the case of users performing real-life work, task analysis can be a cumbersome process …
Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics
Over the last few years multi-touch interfaces have made their ways in most environments
including mobile technologies, flight entertainment systems, consumer electronics... Such …
including mobile technologies, flight entertainment systems, consumer electronics... Such …
Absolute indirect touch interaction: impact of haptic marks and animated visual feedback on usability and user experience
R Bernhaupt, D Drouet, M Pirker - … Software Engineering: 7th IFIP WG 13.2 …, 2019 - Springer
Goal of this paper is to investigate usability and user experience (UX) of a touch-based
control of user interfaces that the user can not directly interact with. An example is a user …
control of user interfaces that the user can not directly interact with. An example is a user …
On the benefits of using MVC pattern for structuring Event-B models of WIMP interactive applications
NK Singh, Y Aït-Ameur, R Geniet… - Interacting with …, 2021 - ieeexplore.ieee.org
This paper presents a formal development approach for designing interactive applications
using a correct-by-construction approach. In this work, we propose a refinement strategy …
using a correct-by-construction approach. In this work, we propose a refinement strategy …