Détail de l'auteur
Auteur Laurent GUITTET |
Documents disponibles écrits par cet auteur (3)
Faire une suggestion Affiner la rechercheApport 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ésCaté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 complexesRé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 PERSPECTIVESEn 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
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
AnnexesLangues : 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 PERSPECTIVESEn 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
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ésCaté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
