Conception et vérification formelles des interfaces homme-machine multimodales : application à la multimodalité en sortie / Linda MOHAND-OUSSAÏD  

Titre : Conception et vérification formelles des interfaces homme-machine multimodales : application à la multimodalité en sortie Type de document : thèse Auteurs : Linda MOHAND-OUSSAÏD, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Idir AIT SADOUNE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Christophe KOLSKI, Rapporteur ; Hassan MOUNTASSIR, Rapporteur ; Patrick GIRARD, Examinateur ; Christian ATTIOGBE, Examinateur Importance : 184 p. Note générale : NNT 2014ESMA0022 Remerciements Table des matières Table des figures Liste des tableaux Introduction générale Bibliographie Résumé Mots clés Catégories : Interaction homme-ordinateur Interfaces utilisateur (informatique) Méthode B (informatique) Systèmes, Analyse de Systèmes, Conception de Résumé : LES INTERFACES HOMME-MACHINE MULTIMODALES Introduction Interaction homme-machine Systèmes interactifs Concepts de base Interfaces homme-machine multimodales Développement des interfaces homme-machine Les modèles de description du dialogue Propriétés des interfaces homme-machine Conception des IHM multimodales Les systèmes multimodaux Conclusion DEVELOPPEMENTS FORMELS DES SYSTEMES INTERACTIFS Introduction Les modèles formels La conception formelle Les méthodes de spécification formelles Vérification formelle Utilisation des méthodes formelles pour le développement des IHM Synthèse et proposition UN MODELE FORMEL GENERIQUE POUR LES INTERFACES HOMME-MACHINE MULTIMODALES EN SORTIE Introduction Démarche générale de modélisation Modèle formel de conception des interfaces homme-machine multimodales en sortie Conclusion MODELISATION DES INTERFACES HOMME-MACHINE MULTIMODALES EN SORTIE DANS B EVENEMENTIEL Introduction La méthode B événementiel Démarche de modélisation avec B événementiel Les modèles génériques de développement B événementiel Conclusion MODELISATION DE LA FISSION SEMANTIQUE AVEC B EVENEMENTIEL : GENERALISATION Introduction Démarche de modélisation avec B événementiel Le modèle de fission sémantique Bilan des obligations de preuve Intanciation du modèle B événementiel de fission sémantique Application à l'étude de cas Conclusion MODELISATION DE L'ALLOCATION AVEC B EVENEMENTIEL : GENERALISATION Introduction Démarche de modélisation avec B événementiel Le modèle de combinaison des présentations Le modèle de décomposition des présentations Le modèle d'affectation Bilan des obligations de preuve Instanciation du modèle B événementiel d'allocation Application à l'étude de cas Vérification des propriétés Conclusion CONCLUSION GENERALE ET PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-01127547

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010927	TH-14 MOH	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-14 MOH	MOH	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Vers une approche sûre du développement des Interfaces Homme-Machine / Mickaël BARON

Titre : Vers une approche sûre du développement des Interfaces Homme-Machine Type de document : thèse Auteurs : Mickaël BARON ; Yamine AIT AMEUR, Directeur de thèse ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Dominique CANSELL, Rapporteur ; Bruno d' AUGSBOURG, Rapporteur ; Jean VANDERDONCKT, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Patrick GIRARD, Examinateur ; Guy PIERRA, Examinateur ; Jean-Daniel FEKETE, Examinateur ; Francis JAMBON, Examinateur Importance : 253 p. Note générale : Résumé/Abstract Table des matières Table des figures Liste des tableaux Introduction générale Conclusion et perspectives Bibliographie Publications liées à ce mémoire de thèse Mots clés Catégories : Méthode B (informatique) Méthodes formelles (informatique) Systèmes homme-machine Index. décimale : TH-03 Résumé : ETAT DE L'ART Le domaine de l'interaction homme-machine Les techniques formelles pour la conception des systèmes interactifs Les outils de conception Synthèse : justification du travail de thèse MODELISATION ET VALIDATION FORMELLES DE DESCRIPTIONS DE L'INTERACTION DANS LES IHM Rappels Méthode B Approche à base de modules Approche à base d'événements SUIDT : UNE APPROCHE EXPERIMENTALE POUR LA CONSTRUCTION D'INTERFACES UTILISATEURS SURES Généralités sur l'approche expériementale Intégration d'un noyau fonctionnel développé formellement dans une apprche de système basés sur modèles Validation sur le noyau fonctionnel Validation sur la présentation Conclusion générale sur l'approche SUIDT

Exemplaires (1)

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

---

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