| Titre : |
Un cadre formal générique pour la modélisation d'IHM Multi-modales. Cas de la multi-modalité en entrée |
| Type de document : |
thèse |
| Auteurs : |
Nadjet KAMEL ; Yamine AIT AMEUR, Directeur de thèse ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Laurence NIGAY, Rapporteur ; Christophe KOLSKI, Rapporteur ; Habiba DRIAS, Examinateur ; Yamine AIT AMEUR, Examinateur ; Patrick GIRARD, Examinateur ; Zoheir ZEMERLI, Examinateur |
| Importance : |
170 p. |
| Note générale : |
Table des matières
Résumé
Table des figures
Liste des tableaux
Introduction générale
Bibliographie |
| Index. décimale : |
TH-06 |
| Résumé : |
LES INTERFACES HOMME-MACHINE MULTIMODALES
Concepts de base
Classes de systèmes multimodaux
Modèles de développement des systèmes intéractifs
Modèles d'architectures pour les systèmes intéractifs
Modèles de taches pour le systèmes intéractifs
Propriétés des HIM
Le système multimodal Matis : étude de cas
DEVELOPPEMENTS FORMELS DE SYSTEMES INTERACTIFS
Modélisation formelle
Vérification formelle
Modèles formels
Démarche de conception
Utilisation des méthodes formelles pour les IHM
Méthodologie et hétérogéniété
Conclusion
Notre proposition
UN MODELE CONCEPTUEL FORMEL GENERIQUE POUR LES SYSTEMES INTERACTIFS MULTIMODAUX. CAS DE LA MODALITE EN ENTREE
Modélisation de l'intéraction en entrée dans IHM multimodales
Application à l'étude de cas
Modèle formel pour les propriétés CARE
MISE NE OEUVRE DU MODELE GENERIQUE DANS LA TECHNIQUE DE MODEL-CHECKING
Mise en oeuvre avec SMV
Mise en oeuvre avec Promela/Spin
Utilisation de vérificateurs sur modèle pour les IHM3
MISE NE OEUVRE DU MODELE GENERIQUE DANS UNE TECHNIQUE DE PREUVE AVEC B
Méthode de spécification B
Principes de représentation du modèle générique formel en B événementiel |
|
Faire une suggestion Affiner la rechercheUn cadre formal générique pour la modélisation d'IHM Multi-modales. Cas de la multi-modalité en entrée
