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

Simple item page
dc.contributor.authorMohand Oussaïd, Linda
dc.date.accessioned2013-11-21T13:23:55Z
dc.date.available2013-11-21T13:23:55Z
dc.date.issued2009-05
dc.description.abstractLes 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.fr_FR
dc.identifier.isrnCERIST-DSISM/RR--09-000000009--dzfr_FR
dc.identifier.urihttp://dl.cerist.dz/handle/CERIST/281
dc.publisherCERIST
dc.relation.ispartofRapports de recherche internes
dc.relation.ispartofseriesRapports de recherche internes
dc.relation.placeAlger
dc.subjectInteraction multimodalefr_FR
dc.subjectFission des modalitésfr_FR
dc.subjectConception formellefr_FR
dc.subjectVérification formellefr_FR
dc.titleUn modèle formel générique de fission des modalités dans les systèmes multimodaux en sortiefr_FR
dc.typeTechnical Report
Files
Collections
Research Reports