الفريق 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 أطروحات مناقشة
Bouhamed Mohammed Mounir
Dynamic Business Process Change
منذ 4 أسابيع
Oussama Kamel
A Formal Approach for Modeling and Verifying SLA-based Cloud Systems
منذ سنة
Amel Meliouh
UML et Model-Checking pour la Modélisation et la Vérification des Systèmes Embarqués
منذ سنة
آخر 5 منشورات
Abdelkamel Hettab; Allaoua Chaoui; Mohamed Boubakir; Elhillali Kerkouche
Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach. Int. J. of Computer Aided Engineering and Technology 16(3): 379-415 (2022)
Mohamed Gharzouli; Aimen Khalil Hamama; Zakaria Khattabi
Topic-based sentiment analysis of hotel reviews. Current Issues in Tourism 25(9): 1368-1375 (2022)
Yassamina Mediani; Mohamed Gharzouli; Chahrazed Mediani
A Hybrid Recommender System for Pedagogical Resources. Int. Conf. on Digital Technologies and Applications (ICDTA'22): 361-371 (2022)
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)