Alf  Algorithmes  Analyse statistique  Appariement des modèles  Architecture logiciel  Architecture logicielle  Architecture à base de composants  Bogues  Cadre architectural  Centrales nucléaires -- Mesures de sécurité  Clonage de modèles  Code source  Composants logiciels  Conception orientée objets  Configuration  Contraintes  Coût-efficacité  Design patterns  Domotique  Débogage omniscient  Energie domestique  Evolution Dynamique du logiciel  Exigences  Exploration de données  Exécution  Exécution de modèles  FUML  Fiabilité  Formalisation  Génie logiciel  Générateurs  Générateurs photovoltaïques  ISO42010  Idm  Ihm  Industries de la langue  Informatique autonomique  Informatique dans les nuages  Informatique en nuage  Informatique omniprésente  Informatique ubiquitaire  Ingénierie de langages  Ingénierie des exigences  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Ingénierie logicielle  Interaction homme-ordinateur  Interaction utilisateur  Interfaces graphiques  Internet des objets  L'approche par exemple  Langage de modélisation  Langage de modélisation dédié  Langage spécialisé  Langages de programmation orientés objet  Ligne de produits  Lignes de produit  Lignes de produits  Lignes de produits logiciels  Logiciels -- Développement  Logiciels -- Essais  Logiciels -- Maintenance  Logiciels -- Validation  Logiciels -- Vérification  Logiciels  Logiciels libres  Maintenance modulaires  Matrices de Comparaison de Produits  Métriques logicielles  Micro-Generation  Modèle de faute  Modèles de caractéristique  Modèles de caractéristiques  Modèles de variabilité  Modélisation orthogonale de la variabilité  Méta-Heuristiques  Méta-Modèles  Métaheuristiques  Méthodologie d'évaluation  Métriques de procédé  Optimisation  Ordinateurs -- Fiabilité  PSCS  Pairwise  Parallélisme  Patrons de conception  Points de vue  Profiles UML  Profils UML  Préconditions minimales  Qualité logiciel  Qualité logicielle  Recherche de l'information  Reconfiguration dynamique  Refactoring  Règles opérationelles  Réplication optimiste  Simulation  Supervision des ressources  Système logiciel  Systèmes adaptatifs  Systèmes auto-gérés  Systèmes collaboratifs  Systèmes configurables  Sémantique  Sûreté de fonctionnement  Test  Test  Test non-Fonctionnel  Tests fonctionnels  Théorie des catégories,  Trace d'exécution  Traces de transfomation  Traitement automatique du langage naturel  Transformation de modèles  Transformation des programmes  Traçabilité  Types de données répliqués  UML  UML  Variabilité  Édition collaborative  Étude quantitative  Évolution  Évolution logicielle  

Benoit Baudry a rédigé la thèse suivante :


Benoit Baudry dirige actuellement les 2 thèses suivantes :

Informatique
En préparation depuis le 29-05-2015
Thèse en préparation

Informatique
En préparation depuis le 27-01-2014
Thèse en préparation


Benoit Baudry a dirigé les 13 thèses suivantes :

Informatique
Soutenue le 05-12-2014
Thèse soutenue


Benoit Baudry a été rapporteur des 5 thèses suivantes :


Benoit Baudry a été membre de jury des 2 thèses suivantes :