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 |
|