Un modèle formel générique de fission des modalités dans les systèmes multimodaux en sortie
Loading...
Date
2009-05
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
CERIST
Abstract
Les interfaces homme-machine multi-modales en sortie combinent sémantiquement les médias et modalités en sortie en vue d'accroître les capacités d'interaction de la machine. L'objectif de ce rapport est de présenter un modèle formel permettant la spécification formelle des systèmes interactifs multi-modaux en sortie. Ainsi, les propriétés d'utilisabilité et de robustesse peuvent être exprimées et vérifiées. Ce rapport propose en plus du modèle générique un modèle paramétré permettant la spécification des systèmes interactifs multimodaux en sortie selon l'espace de conception CASE.
Description
Keywords
Interaction multimodale, Fission des modalités, Conception formelle, Vérification formelle