Title | Author | ||
---|---|---|---|
Dynamic Business Process Change
|
Mohammed Mounir Bouhamed | MFGL | 2 months ago |
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems
|
Kamel Oussama | MFGL | 1 year ago |
Graph Transformation Approach for Dynamic Reorganization in Multi-Agent Systems
|
Guerrouf Fayçal | MFGL | 1 year ago |
La Composition de Modèles pour l’Extraction des Lignes de Produits à partir de Produits Existants
|
Mohamed Boubakir | MFGL | 1 year ago |
Génération de cas de test pour la validation des diagrammes UML
|
Abdelkamel Hettab | MFGL | 2 years 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 | 3 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 | 4 years ago |
Système Multi Agents adaptatif et composition des services ` dans un environnement d’intelligence ambiante
|
Chaib Aouatef | MFGL | 4 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 | 4 years ago |
Vérification de la composition de services par la transformation de modèles
|
Redouane Nouara | MFGL | 4 years ago |
Génération d'expresions LOTOS à partir de diagrammes UML
|
Salim Djaaboub | MFGL | 5 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 | 5 years ago |
Utilisation des méthodes d’optimisation pour trouver une meilleure solution de composition de services Web
|
Seriel Rayene Boussalia | MFGL | 6 years ago |
Une approche de transformation des diagrammes UML vers les spécifications B
|
Seidali Rehab | MFGL | 6 years ago |
Une approche de composition de services Web à l’aide des réseaux de Petri orientés objet
|
Sofiane Chemaa | MFGL | 7 years ago |
Une approche de spécification des changements de besoins basée transformations de graphes
|
Khaled Khalfaoui | MFGL | 8 years ago |
Un cadre formel pour la modélisation et l'analyse des agents mobiles
|
Dehimi Nardjes | MFGL | 9 years ago |
Composition des Web services sémantiques dans les systèmes Peer-to-Peer
|
Mohamed Gharzouli | MFGL | 10 years ago |
Modélisation multi-paradigme : Une approche basée sur la transformation de graphes
|
Elhillali Kerkouche | MFGL | 11 years ago |
Une approche intégrée Mobile-UML/Réseaux de Petri pour l’Analyse des systèmes distribués à base d’agents mobiles
|
Mohamed Redha Bahri | MFGL | 12 years ago |