A generic formal model for fission of modalities in output multi-modal interactive systems

Simple item page
dc.contributor.authorMohand Oussaïd, Linda
dc.contributor.authorAit Ameur, Yamine
dc.contributor.authorAhmed-Nacer, Mohamed
dc.date.accessioned2013-12-04T08:27:03Z
dc.date.available2013-12-04T08:27:03Z
dc.date.issued2009
dc.description.abstractOutput multi-modal human-machine interfaces combine semantically output medias and modalities in order to increase interaction machine capabilities. The aim of this paper is to present a formal model supporting formal specifications of output multi-modal interactive systems. As a consequence, the expected usability and robustness properties can be expressed and checked. This paper proposes a generic model which permits to specify the output multimodal interfaces following the CASE design space.fr_FR
dc.identifier.urihttp://dl.cerist.dz/handle/CERIST/434
dc.relation.ispartofInternational Workshop on Verification and Evaluation of Computer and Communication Systemsfr_FR
dc.relation.placeRabat, Marocfr_FR
dc.structureSûreté de Fonctionnement dans le Développement des Logicielsfr_FR
dc.subjectMulti-modal interactionfr_FR
dc.subjectfission of modalitiesfr_FR
dc.subjectformal designfr_FR
dc.subjectformal verificationfr_FR
dc.titleA generic formal model for fission of modalities in output multi-modal interactive systemsfr_FR
dc.typeConference paper
Files
Collections
International Conference Papers