العنوان | المؤلف | ||
---|---|---|---|
Une approche de transformation des processus métiers BPMN vers les diagrammes d’activités UML basée sur la transformation de graphes
|
Rahmoune Yasmina | MFGL | منذ سنة |
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems
|
Oussama Kamel | MFGL | منذ 3 سنوات |
Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes
|
السعيد مغزيلي | MFGL | منذ 5 سنوات |
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
|
Messaoudi Nabil | MFGL | منذ 6 سنوات |
Vérification de la composition de services par la transformation de modèles
|
رضوان نوارة | MFGL | منذ 7 سنوات |
Une approche de spécification et de vérification des systèmes logiciels à base d'agents mobiles en utilisant UML et Pi Calcul
|
عصـام بلغباط | MFGL | منذ 7 سنوات |
Utilisation des méthodes d’optimisation pour trouver une meilleure solution de composition de services Web
|
Boussalia Seriel Rayene | MFGL | منذ 8 سنوات |
Une approche de spécification des changements de besoins basée transformations de graphes
|
Khalfaoui Khaled | MFGL | منذ 10 سنوات |
Composition des Web services sémantiques dans les systèmes Peer-to-Peer
|
محمد غرزولي | MFGL | منذ 13 سنة |
Modélisation multi-paradigme : Une approche basée sur la transformation de graphes
|
Kerkouche Elhillali | MFGL | منذ 13 سنة |
Une approche intégrée Mobile-UML/Réseaux de Petri pour l’Analyse des systèmes distribués à base d’agents mobiles
|
محمد رضا بحري | MFGL | منذ 14 سنة |
Modélisation et Vérification des processus métiers dans les entreprises virtuelles : Une approche basée sur la transformation de graphes
|
Elmansouri Raida | MFGL | منذ 14 سنة |
Un système pour l’analyse et le traitement de données dans le domaine de la santé : cas des maladies nécessitant une assistance continue
|
ابراهيم بن عبد الرحمن | MFGL | جارية |