Un Cadre Formel Générique Pour La Modélisation D'ihm Multi-modales. Cas De La Multi-modalité En Entrée
Résumé: Nos travaux proposent un cadre méthodologique formel générique permettant la conception formelle d'IHM multimodales et la formalisation de l'expression et de la validation de propriétés d'utilisabilité associées. Ce cadre s'appuie sur un même modèle formel unifié autour des systèmes de transitions. Dans une seconde partie, nous montrons comment les modèles issus du cadre générique sont mis en oeuvre dans des techniques formelles particulières et hétérogènes du point de vue de la sémantique. Deux catégories de techniques sont abordées. La première fondée sur le model-checking avec deux approche, l'une à base de variables d'états et de la logique temporelle arborescente CTL avec l'outil SMV et l'autre à base d'actions et de la logique temporelle linéaire LTL avec l'outil Promela/Spin. La seconde catégorie de technique mise en oeuvre est fondée sur la preuve interactive et sur le raffinement. Elle met en oeuvre la méthode B dans sa version événementielle.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
