Analyse des risques  Analyse fonctionnelle  Architectural design environment  Architectural styles  Architecture de logiciels  Architecture des ordinateurs  Architecture fonctionnelle  Architecture logicielle  Architectures orientées services  Assemblage de composants  Assistance  Aéronautique  Conception assistée par ordinateur  Critère qualité  Données massives  Droit à la vie privée  Décision  Développement incrémental  Environnement de la conception d'architectures  Evaluation de la qualité  Facteur qualité  Fiabilité  Formal methods  Incertitude  Informatique omniprésente  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Intelligence ambiante  Iso 26262  Langages de programmation  Langages formels  Ligne de produits  Ligne de produits logiciels  Lignes de produits  Logiciels -- Développement  Logiciels  Lotos  MDE/MDA  Machines d'états  Modèles d'information  Méthodes formelles  Méthodes formelles  Métrique qualité  Ontologie  Optimisation  Possibilité  Preuve  Preuve formelle  Probabilité  Raisonnement  Smalltalk  Software artchitectures  Styles d'architecture  Système socio-technique  Systèmes critiques  Systèmes d'information  Systèmes informatiques  Systèmes socio-Environnementaux  Systèmes, Conception de  Sécurité routière  Test  Transformation de graphe  Transformation de modèle  Triplet de Hoare  UML  Uml  Vie privée  Vérification  Vérification de modèles  Web sémantique  

Nicole Lévy a dirigé les 3 thèses suivantes :

Sciences de l'information et de la communication. Informatique
Soutenue le 16-11-2017
Thèse soutenue


Nicole Lévy a été président de jury des 2 thèses suivantes :


Nicole Lévy a été rapporteur des 4 thèses suivantes :