L’Ingénierie Dirigée par les Modèles (IDM) est une approche de développement mettant à disposition de l'utilisateur des concepts, des langages et des outils. Les modèles sont considérés comme des éléments de base
Yasmina Rahmoune
Une approche de transformation des processus métiers BPMN vers les diagrammes d’activités UML basée sur la transformation de graphes 1 year ago
|
|
Kamel Oussama
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems 3 years ago
|
|
Said Meghzili
Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes 5 years ago
|
Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa; Allaoua Chaoui
Entanglement swapping via quantum zeno dynamics in noisy environment. Quantum Information Processing 23(2) (2024) |
|
Khaled Khalfaoui; Elhillali Kerkouche; Tahar Boudjedaa; Allaoua Chaoui
Optimized exploration of quantum circuits space based on sub-circuits equivalences. Quantum Information Processing 22(1) (2023) |
|
Radja Hamli; Allaoua Chaoui; Raida El Mansouri; Ali Khebizi
Comprehensive Framework-Based Reconfigurable Object Nets for Managing Dynamic Protocols Evolution. Int. J. of Organizational and Collective Intelligence (IJOCI) 13(1) (2023) |
|
Houda Hamrouche; Allaoua Chaoui; Smaine Mazouzi
A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams. Computing and Informatics (CAI) 41(5): 1284-1309 (2022) |
|
Said Meghzili; Allaoua Chaoui; Raida El Mansouri; Bardis Nadjla Alloui; Amina Bouabsa
Formal Verification and Implementation of an E-Voting System. Int. J. of Software Innovation (IJSI) 10(1): 1-20 (2022) |