--  Acquisition des connaissances  Adaptation de comportement  Adaptation dynamique centrée objet  Agents mobiles  Analyse formelle  Arbres d’attaque  Architecture logicielle  Architectures orientées services  Bases de connaissances  Co-évolution  Cognition  Composant logiciel  Composants logiciels  Composition des aspects  Conception orientée objets  Critère qualité  Diagnostic  Débogage  Déverminage non-anticipé  Evaluation de la qualité  Facteur qualité  Factorisation  Génie logiciel  Géomatique  Identification de vulnérabilités  Identification des instances de composants  Identification des interfaces de composants  Informatique dans les nuages  Ingénierie dirigée par les modèles  Innovations technologiques  Instructions nautiques  Intelligence artificielle  Internet des objets  Interopérabilité  Interprétation  Interpréteurs  Intégration des systèmes  Langage contrôlé hybride  Langage de modélisation spécifique à un domaine  Langages contrôlés  Langages de programmation  Logiciels -- Développement  Logiciels -- Exactitude  Logiciels -- Réutilisation  Logique floue  Mesures de sûreté  Migration de modèles  Model checking  Modèle de qualité  Modèle prédictif  Modèles d'information  Modèles de prédiction  Modèles mathématiques  Modélisation  Modélisation des données  Méta-Modélisation  Métadonnées  Méthode de résolution de problèmes  Méthodes formelles  Métrique qualité  Métriques de qualité  MétriquesIngénierie Dirigée par les Modèles  Ordinateurs -- Fiabilité  Patrons de reconfiguration  Programmation chimique  Programmation orientée aspects  Programmation par aspect  Programmation par composants  Reconfiguration  Ressource Description Framework  Résolution de problème -- Informatique  Réutilisation  Réutilisation des logiciels  SOA  Saas  Services  Services Web  Statistique  Système d'information géographique  Système de systèmes  Systèmes adaptatifs  Systèmes d'information  Systèmes d'information géographique  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes, Analyse de  Taxonomie de Bloom  Traitement automatique du langage naturel  Traitement réparti  Transformation  Treillis, Théorie des  UML  Vérification de modèles  Vérification formelle  Évaluation  Évolution  

Isabelle Borne dirige actuellement la thèse suivante :

Informatique
En préparation depuis le 08-01-2020
Thèse en préparation


Isabelle Borne a dirigé les 4 thèses suivantes :


Isabelle Borne a été président de jury des 8 thèses suivantes :


Isabelle Borne a été rapporteur des 2 thèses suivantes :


Isabelle Borne a été membre de jury des 4 thèses suivantes :

Informatique
Soutenue le 09-12-2019
Thèse soutenue