Equipe 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 dernières thèses soutenues
Abdelkamel Hettab
Génération de cas de test pour la validation des diagrammes UML
il y a 1 an
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
il y a 2 ans
Mohamed Elkamel Hamdane
Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL
il y a 3 ans
5 dernières publications
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)