AADL  Adaptation Sémantique.  Agilité  Alf  Analyse d'impact  Architecture logicielle  Aspect  Calcul haute-performance  Chaine outillée  Cohérence  Cohérence  Commande automatique  Composants logiciels  Composition  Consistances des modèles  Coopération  Coopération entre entreprises  Critères de couverture  DSMLs  Description d'architecture  Design patterns  Exigences  Exécution  FUML  Formalisation  Génération de tests à partir de modèles  Identification des instances de composants  Identification des interfaces de composants  Informatique  Ingénierie des exigences  Ingénierie dirigée par les modèles  Langage de modélisation dédié  Langage dédié  Langages de coordination  Langages de programmation  Logiciels -- Développement  Logiciels -- Réutilisation  Logiciels -- Vérification  Logiciels -- Évaluation  Modèle de Calcul  Modèles hétérogènes  Modélisation Multi-Paradigme  Modélisation par Composants  Mémoire partagée répartie  Optimisation mathématique  PSCS  Profiles UML  Programmation générative  Programmation orientée aspects  Qualité de service  Relations d’Horloges  Réutilisation  Réutilisation des logiciels  SOA  SOA dirigée par les modèles  Sciences appliquees  Simulation  Simulation numérique  Simulation par ordinateur  Système sur puce  Systèmes complexes  Systèmes sur puce  Systèmes à paramètres répartis  Sémantique  Thèses et écrits académiques  Traitement réparti  Transformation de modèles  Traçabilité  UML  UML/Sys ML  Validation de système embarqués  Vérification de l’exécution  

Jean-Michel Bruel a rédigé la thèse suivante :


Jean-Michel Bruel a dirigé la thèse suivante :


Jean-Michel Bruel a été président de jury de la thèse suivante :


Jean-Michel Bruel a été rapporteur des 7 thèses suivantes :


Jean-Michel Bruel a été membre de jury de la thèse suivante :