Allaoua CHAOUI
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 |
Aucun doctorant à afficher.
Aucun stage à afficher.
Aucun logiciel à afficher.