Approche dirigée par les modèles pour la conception et la validation des applications interactives : une démarche basée sur la modélisation des tâches / Sybille CAFFIAU  

Titre : Approche dirigée par les modèles pour la conception et la validation des applications interactives : une démarche basée sur la modélisation des tâches Type de document : thèse Auteurs : Sybille CAFFIAU ; Patrick GIRARD, Directeur de thèse ; Dominique SCAPIN, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Gaëlle CALVARY, Rapporteur ; Jean VANDERDONCKT, Rapporteur ; Rémi BASTIDE, Examinateur ; Laurent GUITTET, Examinateur Année de publication : 2009 Importance : 309 p Note générale : NNT 2009ESMA0028 Remerciements Résumé Abstract Table des matières Références Annexes Langues : Français (fre) Catégories : Interaction homme-ordinateur Interfaces utilisateur (informatique) Méthodes formelles (informatique) Résumé : INTRODUCTION Introduction générale Organisation de la thèse LA PLACE DES MODELES DANS LA CONCEPTION DES SYSTEMES INTERACTIFS Conception orientée-système La conception centrée utilisateur IDM et IHM ETUDE PRELIMINAIRE ET POSITIONNEMENT DU PROBLEME Choix du modèle de tâches Choix du modèle de dialogue Etude préliminaire : dérivation du modèle de dialogue à partir du modèle de tâches META-MODELISATION DE K-MAD (V2) Etudes de cas Propositions et extensions Passage de K-MAD (v1)à K-MAD (v2) META-MODELISATION DES INTERACTEURS HIERARCHISES Les études de cas Modifications et expression du méta-modèle UTILISATION DES META-MODELES Liens d'association entre modèles de tâches et de dialogue Notion d'équivalence de modèles K-MAD (v2) Les règles de cohérence Exemple de mise en pratique des liens entre les méta-modèles définis CONCLUSIONS ET PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00461497/fr/

Exemplaires (2)

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

Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel / Christian FOTSING TAKOUTSI  

Titre : Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel Type de document : thèse Auteurs : Christian FOTSING TAKOUTSI, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Guy VIDAL-NAQUET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Franck POMMEREAU, Rapporteur ; Frank SINGHOFF, Rapporteur ; Emmanuel GROLLEAU, Examinateur ; Christophe AUSSAGUES, Examinateur Année de publication : 2012 Importance : 226 p. Note générale : NNT 2012ESMA0003 Remerciements Table des matières Table des figures Annexe Bibliographie liée à la thèse Bibliographie Index Langues : Français (fre) Catégories : Logiciels:Validation Méthodes formelles (informatique) Ordonnancement (informatique) Petri, Réseaux de Simulation, Méthodes de Temps réel (informatique) Résumé : INTRODUCTION GENERALE Les systèmes temps-réel La problématique Objectifs et intérêts du travail Contribution : méthodologie globale Plan et contenu de la présentation ETAT DE L'ART Synthèse de quelques travaux connexes Validation par les réseaux de Pétri CONTRIBUTION Modélisation d'une tâche Modélisation de l'application Les arbres d’ordonnancement Ordonnancement linéaire versus ordonnancement arborescent Mise en œuvre avec les réseaux de Pétri CONCLUSTION GENERALE Conclusion Perspectives En ligne : http://tel.archives-ouvertes.fr/tel-00684788

Exemplaires (2)

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

Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion / Sébastien MAITREHENRY  

Titre : Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion Type de document : thèse Auteurs : Sébastien MAITREHENRY, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Nicole LEVY, Rapporteur ; Philippe PALANQUE, Rapporteur ; Pierre BIEBER, Examinateur ; Sylvain METGE, Examinateur ; Jérémy GUIOCHET, Examinateur ; Patrick GIRARD, Examinateur Importance : 254 p. Note générale : NNT 2013ESMA0025 Remerciements Table des matières Introduction Bibliographie Annexes Index des figures Index des tables Glossaire Résumé Mots clés Catégories : Aéronautique Analyse fonctionnelle Fiabilité Ingénierie dirigée par les modèles Méthodes formelles (informatique) Résumé : VERS DES ANALYSES DE SECURITE ASSISTEES PAR LES MODELES La sûreté de fonctionnement dans l'aéronautique Intérêts des modèles et de l'ingénierie des modèles Objectifs et approche de nos travaux DEFINITION ET SYNTHESE DE MODELES POUR L'ANALYSE DES RISQUES Définition des modèles conceptuels pour la sécurité Mise en oeuvre de l'analyse des risques avec AltaRica La transformation de modèle Déploiement sur un cas industriel Extension des modèles à l'étude des facteurs humains CONCLUSION En ligne : http://tel.archives-ouvertes.fr/tel-00954467

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010427	TH-13 MAI	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-13 MAI	MAI	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 - 4 / 4) Par page : 25 50 100 200