Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande / Olga GOUBALI  

Titre : Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande Type de document : thèse Auteurs : Olga GOUBALI, Auteur ; Patrick GIRARD, Directeur de thèse ; Laurent GUITTET, Directeur de thèse ; Pascal BERRUET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean VANDERDONCKT, Rapporteur ; Gaëlle CALVARY, Rapporteur ; Jean-François PETIN, Examinateur ; Alain BIGNON, Examinateur ; Christophe KOLSKI, Examinateur Importance : 240 p. Note générale : NNT 2017ESMA0003 Remerciements Sommaire Introduction générale Liste des figures Liste des tableaux Références bibliographiques Annexes Résumé Mots clés Catégories : Commande, Théorie de la Conception centrée sur l'utilisateur Ingénierie dirigée par les modèles Interfaces utilisateur (informatique) Ordonnancement (informatique) Systèmes complexes Résumé : GENERALITES SUR LA CONCEPTION DES SYSTEMES DE CONTROLE/COMMANDE La conception des systèmes de contrôle-commande Formalisme de spécification pour la construction des systèmes de contrôle-commande Verrous identifiés par l'état de l'art FACILITER LA CONCEPTION DES MODELES DE TACHES COMPLEXES Analyse de la tâche humaine dans la conception des systèmes de contrôle-commande La conception des modèles de tâches complexes Analyse comparative des approches présentées Problématique Proposition d'une démarche de conception des modèles de tâches complexes Bilan sur la conception des modèles de tâches complexes SPECIFICATIONS ET GENERATION D'APPLICATIONS DE CONTROLE-COMMANDE La génération d'IHM à partir de modèles de tâches Faciliter la spécification fonctionnelle des systèmes complexes Proposition d'une démarche de spécification fonctionnelle et de génération d'application de contrôle-commande Bilan sur la spécification fonctionnelle et la génération de systèmes de contrôle-commande MISE EN OEUVRE DES PROPOSITIONS A TRAVERS UN FLOT DE CONCEPTION Présentation du flot de conception proposé Choix d'outils pour la conception des systèmes de contrôle-commande Opération d'adaptation des modèles de tâches Opération d'adaptation EGRC Opération d'insertion SPEC Opération d'enregistrement-généralisation Opération de génération d'interfaces de contrôle Opération d'intégration des interfaces de contrôle Opération de test, débogage et correction Opération de génération de codes de commandes Opération de génération d'IHM Opération de génération de commande Bilan APPLICATION DE NOTRE DEMARCHE A UN CAS D'ETUDE ET VALIDATION EXPERIMENTALE Etude de cas Evaluations Bilan global des évaluations CONCLUSION ET PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-01505594

Exemplaires (2)

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

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

Architecture de l'information : méthodes, outils, enjeux / Jean-Michel SALAÜN

Titre : Architecture de l'information : méthodes, outils, enjeux Type de document : texte imprimé Auteurs : Jean-Michel SALAÜN ; Benoît HABERT Editeur : De Boeck Année de publication : 2015 Importance : 205 p. ISBN/ISSN/EAN : 978-2-8041-9140-5 Note générale : Sommaire Avant-propos Remerciements Mode d'emploi Index Table des matières Catégories : Conception centrée sur l'utilisateur Gestion de l'information Information électronique Interfaces utilisateur (informatique) Index. décimale : 020 Bibliothéconomie - Science de l'information. Résumé : Les défis de l’architecture de l’information Construire un site – les niveaux de Garrett Intégrer le transcanal – la matrice de Resmini et Rosati Les mécanismes du web Le grand Lego des données et des services L’expérience utilisateur – UX Classer numérique Un nouveau contrat de lecture/écriture

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010894	020 SAL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 15/05/2026

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

---

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