Adaptation de comportement  Adaptation dynamique centrée objet  Analyse de types  Analyse statique  Applications Web  Applications de longue durée  Approche Réactive  Architecture logicielle  Bâtiments intelligents  C plus-plus  Compilation  Composants  Composants logiciels  Compréhensibilité  Conception orientée objets  Concurrence  Constructions -- Technique de l'environnement  Coût-efficacité  Dsml  Débogage  Développement Logiciel  Déverminage non-anticipé  Evolution du logiciel  Extensibilité  Fiabilité  Flux de travail  Gestion  Graphes d'objets  Génie logiciel  Génération de Code  Généricité  Généricité  Héritage  Ingénierie des modèles  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Instrumentation  Intelligence artificielle répartie  J2EE  Java  JavaScript  JavaScript  Langage  Langage de Conception  Langage spécifique au domaine  Langages de programmation  Langages de programmation orientés objet  Langages à objets  Ligne de produits logiciels  Lignes de produits  Lignes de produits logiciels  Localisation de caractéristiques  Logiciels -- Développement  Logiciels -- Maintenance  Logiciels -- Réingénierie  Logiciels -- Réutilisation  Logiciels -- Vérification  Logiciels  Maintenabilité  Maintenance modulaires  Mbse  Microservice  Microservices  Migration de logiciel  Migration des systèmes d'information  Migration logicielle  Mise à jour dynamique  Modifications transactionnelles  Modularité  Modularité, interpréteurs  Monolithe  Méthodes formelles  Orienté objet  Orientée objet  Patrons de conception  Petri, Réseaux de  Programmation  Programmation interactive  Programmation orientée objets  Programmation par aspects  Programmation par objets  Programmation par événements  Propriété formelle  Protection de l'information  Préconditions minimales  Qualité  Recherche d’information  Refactoring  Robotique  Ré-Ingénierie  Réflexif  Réingénierie logicielle  Réingénierie organisationnelle  Rétro-Ingénierie  Réusinage de code  SCL  Sage  Scala  Scala  Simulation  Systèmes d'exploitation orientés objets  Systèmes embarqués  Systèmes embarqués  Sémantique opérationnelle  Sûreté de Fonctionnement  Traitement d'événements  Transformation  Transformation des programmes  Transformations de modèles  Traçabilité  Traçabilité logicielle  Variabilité  Variantes de produits logiciels  Vérification de propriété  Workflow  « Join Patterns »  À base de composants  

Christophe Dony a rédigé la thèse suivante :


Christophe Dony dirige actuellement la thèse suivante :


Christophe Dony a dirigé les 10 thèses suivantes :


Christophe Dony a été président de jury de la thèse suivante :


Christophe Dony a été rapporteur des 6 thèses suivantes :


Christophe Dony a été membre de jury de la thèse suivante :