Un modèle formel générique de fission des modalités dans les systèmes multimodaux en sortie

Date

2009-05

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

Citation

Collections

Endorsement

Review

Supplemented By

Referenced By