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

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

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

Vers un environnement générique d'aide au développement d'applications interactives de simulations de métamorphoses / Fabrice DEPAULIS

Titre : Vers un environnement générique d'aide au développement d'applications interactives de simulations de métamorphoses Type de document : thèse Auteurs : Fabrice DEPAULIS, Auteur ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Laurence NIGAY, Rapporteur ; Henry LIEBERMAN, Rapporteur ; Pascal LIENHARDT, Examinateur ; Guy PIERRA, Examinateur Année de publication : 2002 Importance : 220 p. Note générale : Remerciements Table des matières Introduction générale Annexes Index Figures Bibliographie Résumé Mots clés Langues : Français (fre) Catégories : Architecture:Bases de données Conception technique:Informatique Interaction homme-ordinateur Métamorphose (animation par ordinateur) Résumé : SIMULATION D'ANIMATIONS ET DE METAMORPHOSES Principes généraux et méthodes Métamorphoses d'objets naturels OUTILS POUR LA CONCEPTION DE SYSTEMES DE C.A.O. DE METAMORPHOSES H4 : une architecture logicielle pour le dialogue structuré Programmation interactive UN ENVIRONNEMENT DE DEVELOPPEMENT DE SIMULATION DE METAMOPHOSES H4 DTS Edit : un éditeur pour la boîte à outils du dialogue Un moteur générique de simlulation de métamorphoses CONCLUSION GENERALE

Exemplaires (1)

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

---

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