الفريق 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 أطروحات مناقشة
Hettab Abdelkamel
Génération de cas de test pour la validation des diagrammes UML
منذ سنة
السعيد مغزيلي
Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes
منذ سنتين
محمد الكامل حمدان
Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL
منذ 3 سنوات
آخر 5 منشورات
Mohammed Mounir Bouhamed; Gregorio Díaz; Allaoua Chaoui; Oussama Kamel; Radouane Nouara
Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods. Applied Sciences 11(20): 21 (2021)
Mohamed Boubakir; Allaoua Chaoui
An Approach And A Tool For Merging A Set Of Models In Pairwise Way. Malaysian J. of Computer Science 34(1): 13–33 (2021)
Raida Elmansouri; Said Meghzili; Allaoua Chaoui
A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems. Computer Science 22(2): 209–235 (2021)
Oussama Kamel; Allaoua Chaoui; Gregorio Diaz; Mohamed Gharzouli
SLA-Driven Modeling and Verifying Cloud Systems: A Bigraphical Reactive Systems-based Approach. Computer Standards & Interfaces 74 (2020)
Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi
Integrating UML 2.0 Activity Diagrams and PI-Calculus for Modeling and Verification of Software Systems using TGG. Jordanian J. of Computers and Information Technology 6(4) (2020)