Allaoua CHAOUI
...
Professeur
Univ. Constantine 2
Equipe : MFGL
CV

Research Gate DBLP Google Scholar
Détails
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)
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)
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)
Said Meghzili; Allaoua Chaoui; Martin Strecker; Elhillali Kerkouche
Verification of Model Transformations Using Isabelle/HOL and Scala. Information Systems Frontiers (2018)
Titre Spécialité Niveau
Ingénierie Dirigée par les Modèles
INDM
Réseaux Et Systèmes Distribués (RSD) Master 1
Complexité des Algorithmes Séquentiels et Parallèles
CASP
Réseaux Et Systèmes Distribués (RSD) Master 1
Compilation
COMP
Science de l'Informatiques (SCI) Licence 3