Un cadre formal générique pour la modélisation d'IHM Multi-modales. Cas de la multi-modalité en entrée / Nadjet KAMEL

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

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007210	TH-06 KAM	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Vers un environnement générique d'aide au développement d'applications interactives de simulations de métamorphoses / Fabrice DEPAULIS

Titre : Vers un environnement générique d'aide au développement d'applications interactives de simulations de métamorphoses Type de document : thèse Auteurs : Fabrice DEPAULIS, Auteur ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Laurence NIGAY, Rapporteur ; Henry LIEBERMAN, Rapporteur ; Pascal LIENHARDT, Examinateur ; Guy PIERRA, Examinateur Année de publication : 2002 Importance : 220 p. Note générale : Remerciements Table des matières Introduction générale Annexes Index Figures Bibliographie Résumé Mots clés Langues : Français (fre) Catégories : Architecture:Bases de données Conception technique:Informatique Interaction homme-ordinateur Métamorphose (animation par ordinateur) Résumé : SIMULATION D'ANIMATIONS ET DE METAMORPHOSES Principes généraux et méthodes Métamorphoses d'objets naturels OUTILS POUR LA CONCEPTION DE SYSTEMES DE C.A.O. DE METAMORPHOSES H4 : une architecture logicielle pour le dialogue structuré Programmation interactive UN ENVIRONNEMENT DE DEVELOPPEMENT DE SIMULATION DE METAMOPHOSES H4 DTS Edit : un éditeur pour la boîte à outils du dialogue Un moteur générique de simlulation de métamorphoses CONCLUSION GENERALE

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008520	TH-02 DEP	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

---

1 (1 - 2 / 2) Par page : 25 50 100 200