2-dimension  Adaptation autonomique  Aide au diagnostic  Alignement de modèles  Analyse de Concepts Formels  Analyse des données  Analyse formelle de concepts  Analyse linguistique  Appariement des modèles  Architecture -- Informatique  Architecture client-serveur  Architecture d'entreprise  Architecture des réseaux d'ordinateurs  Architecture logicielle  Architecture orientée service  Architectures logicielles  Assemblage  Assemblage de composants  Automates à états finis  Base d’implications  Bases de connaissances  Bases de données -- Interrogation  Bases de données  Bases de données graphes  Biclustering  Bogues  Bâtiments intelligents  Classification automatique  Classification de Textes  Clé candidate  Codage par vecteur de bits  Code source  Complexité  Complétude  Comportement de service web  Composants logiciels  Composition de service web  Composition de services  Composition de services Web  Compréhension automatique de programmes  Conception orientée objets  Conjecture  Construction autonomique  Constructions -- Technique de l'environnement  Contraintes CSP  Datalog  Discours  Distances de graphe  Domotique  Données massives  Découverte de services  Délai incrémental  Délai polynomial  Développement à base de composants  Evolution des logiciels  Evolution non anticipée  Exploration de données  Exptime-complet  Extension maximale  Factorisation  Fiabilité  Fiabilité des systèmes  Formalisme  Fouille de données  Gestion  Graphe de précédence  Graphe de précédence flou  Graphes, Théorie des  Génie Logiciel  Génie logiciel  Générateurs  Génération de Modèles  Heuristique  Historisation  Identification de caractéristique  Idm  Imagerie médicale  Indexation  Informatique  Informatique omniprésente  Informatique pervasive / ubiquitaire  Ingenierie logiciel  Ingénierie des lignes de produits  Ingénierie des modèles  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Intelligence artificielle  Intelligence artificielle répartie  Interrogation  Irréductible  L'analyse formelle de concepts  L'approche par exemple  La qualité du service  La selection de service web  Langages de description d'architectures  Langages de programmation  Lignes de produits  Lignes de produits logiciels  Linguistique -- Informatique  Linguistique  Localisation de caractéristiques  Logiciels -- Développement  Logiciels -- Réingénierie  Logiciels -- Réutilisation  Logiciels  Logiciels libres  Logiciels à base de composants  Logique floue  Lois de probabilités usuelles  Matching de services  Métriques logicielles  Modèle de caractéristiques  Modèle de sac de mots visuels  Modèles d'information  Modélisation  Mots mélangés  Méta-Modèles  Méta-Modélisation  Méthode algébrique  Métriques de procédé  MétriquesIngénierie Dirigée par les Modèles  N-grams  NP-complétude  Navigation dans les données  NoSQL  Ordre partiel  Plantes à effet pesticide  Port  Port composite  Ports  Processus de configuration  Programmation par contraintes  Protocole de service Web  Quasi-validité  Recherche d'information  Recherche de l'information  Recherche d’information  Recouvrement  Relation binaire  Relevance feedback  Représentation connaissances et raisonnements  Règles  Règles opérationelles  Réduction de dimension  Réduction des données  Réingénierie  Rétro-ingénierie  SCL  SOA  Sensibilité au contexte  Service Web  Service web  Services  Services Web  Similarité sémantique  Simulation des automates  Simulation par ordinateur  Substitution n à 1  Système de fermeture  Système domotique  Systèmes d'aide à la décision  Systèmes d'information -- Gestion  Systèmes d'information  Systèmes de recommandation  Systèmes experts  Systèmes informatiques -- Mise en oeuvre  Systèmes multi-agents  Systèmes à auto-recouvrement  Systèmes, Analyse de  Sélection d’attributs  Sémantique  Taln  Thèses et écrits académiques  Théorie d’ordre  Traces de transfomation  Traitement automatique du langage naturel  Traitement réparti  Transformation  Transformation de modèles  Transformations de modèles  Travail collaboratif  Traçabilité  Traçabilité logicielle  Treillis  Treillis, Théorie des  Urbanisation des systèmes d'information  Validité  Variabilité  Variante de logiciel  Variantes de produits logiciels  Web sémantique  Échecs  Énumération  Étude quantitative  Évolution  Évolution logicielle  

Marianne Huchard dirige actuellement la thèse suivante :


Marianne Huchard a dirigé les 12 thèses suivantes :


Marianne Huchard a été président de jury des 4 thèses suivantes :


Marianne Huchard a été rapporteur des 5 thèses suivantes :


Marianne Huchard a été membre de jury des 5 thèses suivantes :

Informatique
Soutenue le 04-04-2013
Thèse soutenue