Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.

Résumé : Cet article s'intéresse à la validation et à la vérification formelles d'IHM Multi-Modales (IHM3). Il décrit une partie des résultats obtenus dans le cadre du projet RNRT VERBATIM, dont l'objet est la VERification Biformelle et l'Automatisation du Test des Interfaces Multimodales. Ce projet s'intéresse, entre autres, à la mise en œuvre d'une technique formelle fondée sur la preuve : la méthode B événementiel. Nous discutons les apports de cette technique pour la conception d'IHM3, en particulier, sa capacité à exprimer et à vérifier des propriétés de la famille CARE. Notre approche utilise et propose de formaliser des notations et techniques semi-formelles issues du domaine des IHM.
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00633908
Contributor : Idir Ait Sadoune <>
Submitted on : Thursday, November 23, 2017 - 10:50:51 AM
Last modification on : Friday, January 31, 2020 - 1:52:04 PM

File

2006-ihm06-yaiambjm.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Yamine Ait-Ameur, Idir Aït-Sadoune, Mickael Baron, Jean-Marc Mota. Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.. 18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. pp.123-130, ⟨10.1145/1132736.1132752⟩. ⟨hal-00633908⟩

Share

Metrics

Record views

464

Files downloads

407