PhD theses
Search result :
Team = MFGL
| Title | Author | ||
|---|---|---|---|
|
Génération de cas de test pour la validation des diagrammes UML
|
Abdelkamel Hettab | MFGL | 1 year ago |
|
Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes
|
Said Meghzili | MFGL | 2 years ago |
|
Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL
|
Mohamed Elkamel Hamdane | MFGL | 3 years ago |
|
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 | MFGL | 3 years ago |
|
Vérification de la composition de services par la transformation de modèles
|
Redouane Nouara | MFGL | 3 years ago |
|
Une approche basée transformation de graphes pour la génération de spécifications Maude à partir de diagrammes UML
|
Wafa Chama | MFGL | 4 years ago |
|
Proposition d’une nouvelle Architecture Logicielle et un langage ADL pour les systèmes reconfigurables
|
Rabah Mokhtari | MFGL | 4 years ago |
|
Une architecture logicielle à base de composants guidées par la qualité des besoins
|
Khalil Elbaz | MFGL | 4 years ago |
|
Génération d'expresions LOTOS à partir de diagrammes UML
|
Salim Djaaboub | MFGL | 4 years ago |
|
Une approche de spécification et de vérification des systèmes logiciels à base d'agents mobiles en utilisant UML et Pi Calcul
|
Aissam Belghiat | MFGL | 4 years ago |
|
Utilisation des méthodes d’optimisation pour trouver une meilleure solution de composition de services Web
|
Seriel Rayene Boussalia | MFGL | 5 years ago |
|
Agents adaptatifs et méta-heuristiques pour la recherche d’information personnalisée
|
Tarek Alloui | MFGL | 5 years ago |
|
Une approche de transformation des diagrammes UML vers les spécifications B
|
Seidali Rehab | MFGL | 5 years ago |
|
Une approche de composition de services Web à l’aide des réseaux de Petri orientés objet
|
Sofiane Chemaa | MFGL | 6 years ago |
|
Une approche de composition de services Web basée transformation de graphes
|
Fayçal Bachtarzi | MFGL | 6 years ago |
|
Des diagrammes UML 2.0 vers les diagrammes orientés aspect à l’aide de transformation de graphes
|
Mouna Aouag | MFGL | 6 years ago |
|
Une approche de spécification des changements de besoins basée transformations de graphes
|
Khaled Khalfaoui | MFGL | 6 years ago |
|
Un cadre formel pour la modélisation et l'analyse des agents mobiles
|
Nardjes-Tessilia Dehimi | MFGL | 8 years ago |
|
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 | MFGL | 8 years ago |
|
Un cadre générique pour la détection et la résolution des interactions entre les aspects
|
Amel Boubendir | MFGL | 9 years ago |