Agape  Algèbre  Analyse syntaxique  Analyse sémantique  Apprentissage à partir d'exemples  Asspegique  Ateliers de génie logiciel  Bases de projet  Bibliothèque de spécification  Bridge  Calcul formel  Charade  Circularité  Complétion  Complétude suffisante  Comportementalisme  Connaissances incomplètes  Constructeurs  Construction assistée de programmes ADA  Contre-exemple  Cube de Hilbert  Domaine à théorie forte  E,R-algèbres  Environements  Environnement de spécification  Environnements de développement  Environnements de programmation  Exploration aléatoire  Exécution symbolique  Files d'attente, Théorie des  Files fifo  Filtrage  Fonctions syntaxico-sémantiques  Graffiti  Grammaires attribuées  Génie logiciel  Génération aléatoire  Génération d'interfaces  Génération de cas de test  Image numérique  Incomplétude  Inconsistance  Inde  Intelligence artificielle  Interfaces graphiques  Interfaces utilisateur  Jeux de stratégie  Langage de spécification  Langage naturel  Langage spécification  Langages de programmation  Logiciel de détection d'inconsistance et d'incomplétudes  Logiciels -- Développement  Logiciels -- Vérification  Logiciels de base  Mathématiques -- Informatique  Mise en correspondance structurelle  Model-checking  Modèles mathématiques  Modèles symboliques  Méta-système  Méthodes formelles  Méthodes formelles  Orchestration  Ordinateurs -- Programmation  Parallélisme  Pattern-matching  Petri, Réseaux de  Poste de travail individuel  Preuves de théorèmes  Programmation orientée objets  Prolog  Qualité de test  Raisonnement  Recherche heuristique  Règles de production  Récurrence  Réseaux d'ordinateurs  Réseaux à files linéaires  Réseaux à files à choix libre  Résolution de contraintes  Réécriture de termes  Réécriture, Systèmes de  SMT solver  Schémas de décomposition  Services  Services Web  Signal aléatoire  Simulation  Solveurs  Spécification  Spécification algébrique conditionnelle  Spécification et vérification de logiciels  Spécification formelle  Spécifications algébriques  Stratégies de construction  Structure arborescente  Structure de données  Système de réécriture conditionnel simplifiant  Système de transitions  Système informatique interactif  Systèmes concurrents  Systèmes experts  Systèmes informatiques  Systèmes multi-agents  Systèmes non réceptifs  Sémantique algébrique  Sémantique opérationnelle  Test basé sur des modèles  Test de conformité  Test formel  Tests  Théorèmes -- Démonstration automatique  Tirage uniforme  Traitement automatique du langage naturel  Traitement d'images  Traitement réparti  Treillis booléens  Type abstrait algébrique  Types abstraits algébriques  Types de données  Vérification formelle  WS-BPEL  Éditeur graphique  Évaluation incrémentale  

Marie-Claude Gaudel a dirigé les 19 thèses suivantes :

Informatique
Soutenue le 12-12-2012
Thèse soutenue
Informatique
Soutenue le 16-12-2011
Thèse soutenue

Sciences et techniques
Soutenue en 1999
Thèse soutenue

Informatique
Soutenue en 1987
Thèse soutenue


Marie-Claude Gaudel a été président de jury des 10 thèses suivantes :


Marie-Claude Gaudel a été membre de jury des 6 thèses suivantes :

Informatique
Soutenue en 1986
Thèse soutenue