Thèses de doctorat
Résultat de la recherche : Equipe = MFGL
Titre Auteur
Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL Mohamed Elkamel Hamdane
Système Multi Agents adaptatif et composition des services dans un environnement d’intelligence ambiante Aouatef Chaib
Une Approche pour la vérification de la cohérence comportementale des diagrammes UML 2.0 basée sur la transformation des diagrammes de séquence UML 2.0 vers les automates de Büchi Nabil Messaoudi
Vérification de la composition de services par la transformation de modèles Redouane Nouara
Une approche basée transformation de graphes pour la génération de spécifications Maude à partir de diagrammes UML Wafa Chama
Proposition d’une nouvelle Architecture Logicielle et un langage ADL pour les systèmes reconfigurables Rabah Mokhtari
Une architecture logicielle à base de composants guidées par la qualité des besoins Khalil Elbaz
Génération d'expresions LOTOS à partir de diagrammes UML Salim Djaaboub
Une approche de spécification et de vérification des systèmes logiciels à base d'agents mobiles en utilisant UML et Pi Calcul Issam Belghiat
Utilisation des méthodes d’optimisation pour trouver une meilleure solution de composition de services Web Seriel Rayene Boussalia
Agents adaptatifs et méta-heuristiques pour la recherche d’information personnalisée Tarek Alloui
Une approche de transformation des diagrammes UML vers les spécifications B Seidali Rehab
Une approche de composition de services Web basée transformation de graphes Fayçal Bachtarzi
Une approche de composition de services Web à l’aide des réseaux de Petri orientés objet Sofiane Chemaa
Des diagrammes UML 2.0 vers les diagrammes orientés aspect à l’aide de transformation de graphes Mouna Aouag
Une approche de spécification des changements de besoins basée transformations de graphes Khaled Khalfaoui
Un cadre formel pour la modélisation et l'analyse des agents mobiles Nardjes-Tessilia Dehimi
Une approche basée transformation de graphes pour la génération de modèles de réseaux de Petri analysables à partir de diagrammes UML Mouna Bouarioua
Un cadre générique pour la détection et la résolution des interactions entre les aspects Amel Boubendir
Composition des Web services sémantiques dans les systèmes Peer-to-Peer Mohamed Gharzouli