الفريق 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 أطروحات مناقشة
السعيد مغزيلي
Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes
منذ شهر
Hamdane Mohamed Elkamel
Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL
منذ سنة
Chaib Aouatef
Système Multi Agents adaptatif et composition des services dans un environnement d’intelligence ambiante
منذ سنة
Messaoudi Nabil
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
منذ سنة
Nouara Redouane
Vérification de la composition de services par la transformation de modèles
منذ سنة
آخر 5 منشورات
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)