Skip to Main content Skip to Navigation
Journal articles

Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement

Résumé : Les architectures d'un système interactif reposent sur la séparation du noyau fonctionnel et de l'interface utilisateur du logiciel. Le développement de ces deux modules implique l'utilisation de techniques et d'approches différentes et engendre un développement hétérogène. La validation du système interactif, peut être une étape complexe puisque ces modules sont développés séparément. Dans le cadre du projet RNRT Verbatim, l'étude de différents scénarios de développement formels des systèmes interactifs multimodaux, a été menée en utilisant la méthode B événementiel. Le raffinement est mis en œuvre pour structurer les développements et la preuve pour établir les propriétés. Cet article s'intéresse principalement à la liaison entre les deux modules d'un système interactif que sont le noyau fonctionnel et l'interface utilisateur. Quatre scénarios de développement différents sont étudiés et comparés.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00634197
Contributor : Idir Ait Sadoune Connect in order to contact the contributor
Submitted on : Thursday, October 20, 2011 - 3:50:31 PM
Last modification on : Wednesday, October 20, 2021 - 3:22:08 AM

Identifiers

  • HAL Id : hal-00634197, version 1

Collections

Citation

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron, Jean-Marc Mota. Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2008, 13 (2), pp.127-154. ⟨hal-00634197⟩

Share

Metrics

Record views

121