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