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

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

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

Contibution à la conception du dialogue homme-machine dans les applications graphiques intéractives de conception technique : Le système GIPSE / Guillaume PATRY

Titre : Contibution à la conception du dialogue homme-machine dans les applications graphiques intéractives de conception technique : Le système GIPSE Type de document : thèse Auteurs : Guillaume PATRY ; Guy PIERRA, Directeur de thèse ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; N. CARBONELL, Rapporteur ; Christophe KOLSKI, Rapporteur ; Pascal GIRARD, Examinateur ; Pascal LIENHARDT, Examinateur ; Guy PIERRA, Examinateur Importance : 199 p. Note générale : Remerciements Table des matières Introduction Conclusion Bibliographie Annexes Catégories : Conception assistée par ordinateur Informatique Informatique:Applications scientifiques Programmation Index. décimale : TH-99 Résumé : IHM ET CAO L'homme L'intéraction L'application VERS UN OUTIL INTERACTIF DE CONCEPTION D'AGI Modèles d'architecture Outils Réalisation d'un Model-Based System pour AGI-CT EXPLORATION ET EVALUATION DE LA TACHE COURANTE Analyse de l'exploration Construction d'une solution Discussions DIALOGUES STRUCTURES ET MANIPULATION DIRECTE Structure d'un contrôle par manipulation directe Intégration au sein de GIPSE DIALOGUES STRUCTURES ET MODIFICATION DYNAMIQUE DU DIALOGUE Macro-commandes et programmation Réalisation d'un système de macro-commandes par démonstration GIPSE : Génération d'application interactive par programmation sur exemple Validation LANGAGES DE MODELISATION Modèle des objets Modèle des tâches Modèle du dialogue Modèle de présentation Modèle du dialogue de manipulation directe EXEMPLE DE PROGRAMMATION DU NOYAU FONCTIONNEL Ajout de l'objet de dailogue Ajouter les actions sur objet EXEMPLE D'APPLICATIONS REALISEES AVEC GIPSE Barre de menu Zones de dessin Zone de prompt Zones de saisie

Exemplaires (1)

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

Définition et réalisation d'une boîte à outils générique dédiée à la programmation sur exemple / Loé SANOU  

Titre : Définition et réalisation d'une boîte à outils générique dédiée à la programmation sur exemple Type de document : thèse Auteurs : Loé SANOU ; Patrick GIRARD, Directeur de thèse ; Laurent GUITTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Christophe KOLSKI, Rapporteur ; Franck POIRIER, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Mesmin DANDJINOU, Examinateur Importance : 174 p. Note générale : 2008POIT2309 Remerciements Merci à Résumé Table des matières Liste des figures Liste des tableaux Liste des exemples de code Liste des abréviations et des sigles Bibliographie Mots clés Catégories : Systèmes homme-machine Index. décimale : TH-08 Résumé : INTRODUCTION GENERALE Définitions de la PSE Historique de la programmation sur exemple Contexte et motivation de la thèse Organisation du mémoire PROGRAMMATION SUR EXEMPLE : PRINCIPES ET CLASSIFICATION Etude des principes de la PSE Classification des systèmes de la PSE INTEGRATION DE LA PROGRAMMATION SUR EXEMPLE DANS UNE APPLICATION INTERACTIVE Adaptabilité des applications Outils pour la PSE Cahier des charges pour un outil UNE BOITE A OUTILS POUR LA PROGRAMMATION SUR EXEMPLE : PRINCIPES ET MISE EN OEUVRE Vers une solution "boîte à outils" Implémentation fr PBDTOOLKIT Exemple d'illustration ; un convertisseur de devises EXTENSION DE PBDTOOLKIT POUR L'AUTOMATISATION DE TESTS D'INTERFACES GRAPHIQUES Les tests Tests d'IHM Vers une automatisation des tests d'IHM à l'aide de la PSE CONCLUSION GENERALE Bilan Perspectives En ligne : http://tel.archives-ouvertes.fr/tel-00369484/fr/

Exemplaires (1)

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

Ingénierie des interfaces homme-machine : Conception et évaluation / Christophe KOLSKI

Titre : Ingénierie des interfaces homme-machine : Conception et évaluation Type de document : texte imprimé Auteurs : Christophe KOLSKI Editeur : Hermès Science Publications Année de publication : 1993 Collection : Traité des Nouvelles Technologies. Série Automatique Importance : 372 p. ISBN/ISSN/EAN : 978-2-86601-377-6 Note générale : Remerciements Table des matières Préfaces de Véronique De Keyser et Patrick Millot Introduction Conclusion Biblio Index Catégories : Automatisation Ergonomie Industrie Informatique Procédés de fabrication Index. décimale : 629.8 Technique de la commande automatique Résumé : L'opérateur et les supports d'information en salle de contrôle de procédé industriel Caractéristiques de l'opérateur humain en salle de contrôle Des alarmes aux systèmes intelligents d'aide à la conduite Méthodologie de développement de système d'assistance à l'opérateur Méthodes de présentation de l'information sur écran graphique Spécifications ergonomiques pour l'interface homme-machine Méthodes d'évaluation de l'interface homme-machine de contrôle de procédé Exemple de développement d'un outil d'ingénierie pour l'évaluation d'interface : le système SYNOP Exemple de développement d'un outil d'ingénierie pour la conception d'interface : le système ERGO-CONCEPTOR

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000454	629.8 KOL	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	BD/Romans archivés	Exclu du prêt

---

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