Skip to Main content Skip to Navigation
Journal articles

Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux

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 whose purpose is the Multimodal Interfaces BIformal Verification and Test Automation. This project focuses on the application of a formal technique, namely the event B method. This approach is based on a proof technique and therefore it does not suffer from the state number explosion problem occurring in classical model checking. 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. We apply our approach on a case study called "CLIPS Yellow Pages".
Complete list of metadata

Cited literature [35 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00634186
Contributor : Idir Ait Sadoune Connect in order to contact the contributor
Submitted on : Thursday, August 28, 2014 - 3:47:44 PM
Last modification on : Wednesday, October 20, 2021 - 3:22:08 AM
Long-term archiving on: : Saturday, November 29, 2014 - 10:05:28 AM

File

3-aitameur_1_.pdf
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-00634186, version 1

Collections

`

Citation

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron, Jean-Marc Mota. Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux. Journal d'Interaction Personne-Système, Association Francophone d'Interaction Homme-Machine (AFIHM), 2010, 1 (1), pp.1-30. ⟨hal-00634186⟩

Share

Metrics

Record views

369

Files downloads

1803