المسؤول
إحصائيات
الفريقMFGL :Méthodes Formelles pour le Génie Logiciel
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
آخر 3 أطروحات مناقشة
|
Rahmoune Yasmina
Une approche de transformation des processus métiers BPMN vers les diagrammes d’activités UML basée sur la transformation de graphes منذ سنتين
|
|
|
Oussama Kamel
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems منذ 4 سنوات
|
|
|
السعيد مغزيلي
Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes منذ 6 سنوات
|
آخر 5 منشورات
|
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) |
|
|
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) |
|
|
Yasmina Rahmoune; Allaoua Chaoui
Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation. Computer Science 23(3): 411-447 (2022) |
|
|
Abdelouahab Fortas; Elhillali Kerkouche; Allaoua Chaoui
Formal Verification of IoT Applications Using Rewriting Logic: An MDE-Based Approach. Science of Computer Programming 222: 102859 (2022) |