الفريق 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 أطروحات مناقشة
Oussama Kamel
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems
منذ سنة
Fayçal Guerrouf
Graph Transformation Approach for Dynamic Reorganization in Multi-Agent Systems
منذ سنة
Boubakir Mohamed
La Composition de Modèles pour l’Extraction des Lignes de Produits à partir de Produits Existants
منذ سنة
آخر 5 منشورات
Said Meghzile; 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)
Mohammed Mounir Bouhamed; Allaoua Chaoui; Redouane Nouara; Gregorio Diaz; Abderraouf Dembri
Reducing the number of migrated instances during business process change: A graph rewriting approach. J. of King Saud University - Computer and Information Sciences, Elsevier (2022)
Karima Mahdi; Allaoua Chaoui; Manel Kolli; Raida Elmansouri
Towards a Full Model-Driven Approach for Modeling and Verifying Business Process Models Using CPN. Int. J. of Organizational and Collective Intelligence (IJOCI) 12(1) (2022)