Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve

Authors:
Yamine Ait-Ameur;Idir Ait-Sadoune;Jean-Marc Mota;Mickael Baron
Affiliations:
LISI/ENSMA et Université de Poitiers, Futuroscope cedex, France;LISI/ENSMA et Université de Poitiers, Futuroscope cedex, France;LISI/ENSMA et Université de Poitiers, Futuroscope cedex, France;INRIA - Rocquencourt (Projet MERLIN), Le Chesnay cedex, France
Venue:
IHM '06 Proceedings of the 18th International Conferenceof the Association Francophone d'Interaction Homme-Machine
Year:
2006

Citing 6
Cited 0

A metamodel for the runtime architecture of an interactive system: the UIMS tool developers workshop

ACM SIGCHI Bulletin
The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
Model-Based Design and Evaluation of Interactive Applications

Model-Based Design and Evaluation of Interactive Applications
A Discipline of Programming

A Discipline of Programming
ICARE software components for rapidly developing multimodal interfaces

Proceedings of the 6th international conference on Multimodal interfaces
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

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. It focuses on the application of a formal proof based technique, namely the event B method. We outline the capability of this technique to support the design of multi-modal human computer interfaces, in particular, the capability to support the expression and the verification of properties issued from the CARE family. The proposed approach uses notations and semi-formal techniques issued from the HCI design area.