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

5 dernières thèses soutenues
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 1 mois
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 1 an
Aouatef Chaib
Système Multi Agents adaptatif et composition des services dans un environnement d’intelligence ambiante
il y a 1 an
Nabil Messaoudi
Une Approche pour la vérification de la cohérence comportementale des diagrammes UML 2.0 basée sur la transformation des diagrammes de séquence UML 2.0 vers les automates de Büchi
il y a 1 an
Redouane Nouara
Vérification de la composition de services par la transformation de modèles
il y a 1 an
5 dernières publications
Aissam Belghiat; Allaoua Chaoui
A multi-paradigm approach to model and verify mobile agent software systems. Multiagent and Grid Systems 14(4): 337-356 (2019)
Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz
A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations. Int. J. of Computational Vision and Robotics 9(2): 172-191 (2019)
Khalil Elbaz; Allaoua Chaoui
An Empirical Study to Improve Software Quality through Design Patterns. Int. J. of Industrial and Systems Engineering 29(1): 74 - 94 (2018)
Elhillali Kerkouche; Elbey Bourennane; Allaoua Chaoui
A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach. e-Informatica Software Engineering J. 12(1): 9–26 (2018)
Aouatef Chaib; Imane Boussebough; Allaoua Chaoui
Adaptive service composition in an ambient environment with a multi-agent system. J. of Ambient Intelligence and Humanized Computing (JAIHC) 9(2): 367-380 (2018)