This chapter provides an overview of several formal approaches for the design,
specification, and verification of interactive systems. For each approach presented, we …

A transformational approach for developing multimodal web user interfaces is presented that
progressively moves from a task model and a domain model to a final user interface. This …

The development of user interfaces (UI) needs validation and verification of a set of required
properties. Different kinds of properties are relevant to the human computer interaction (HCI) …

Our work focuses on the use of formal techniques in order to increase the quality of HCI
software and of all the processes resulting from the development, verification, design and …

This paper presents a global development approach for using different formal techniques in
a common software development. The underlying ethodology is based on the identification …

This paper focuses on the formal validation and verification of multi-modal human computer
interfaces. It describes part of the obtained results of the French RNRT VERBATIM project …

Failures in complex, safety-critical systems often arise as a result of interactions between the
elements of the system, including its human operator. Two sub-disciplines …

This paper presents the use of the B technique in its event based definition. We show that it
is possible to encode, using Event B, the models ie transition systems associated to a …

In-vehicle interactive systems are usually spe-cialized systems that rely on a particular set of
hardware and are designed to support the driver in reaching a destination with his/her …

Complex, safety-critical systems are designed with a broad range of automated and
configurable components, and usability problems often emerge for the end user during …