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 metadatas

https://hal.archives-ouvertes.fr/hal-00634197
Contributor : Idir Ait Sadoune <>
Submitted on : Thursday, October 20, 2011 - 3:50:31 PM
Last modification on : Friday, January 31, 2020 - 1:52:04 PM

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

89