Elmansouri Raida
...
أستاذة محاضرة مؤهلة
Univ. Constantine 2
الفريق : MFGL

التفاصيل
المنشورات
Raida Elmansouri; Said Meghzili; Allaoua Chaoui
A UML 2.0 Activity Diagrams/CSP Integrated Approach for Modeling and Verification of Software Systems. Computer Science 22(2): 209–235 (2021)
Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi
Integrating UML 2.0 Activity Diagrams and PI-Calculus for Modeling and Verification of Software Systems using TGG. Jordanian J. of Computers and Information Technology 6(4) (2020)
Raida Elmansouri; Said Meghzili; Allaoua Chaoui; Aissam Belghiat; Omar Hedjazi
Elhillali Kerkouche; Allaoua Chaoui; Khaled Khalfaoui; Raida Elmansouri
On the Verification of G-Nets Models Using Graph Transformations. Int. journal of innovative computing, information and control (IJCIC) 9(11): 4285-4302 (2013)
Wafa Chama; Raida Elmansouri; Allaoua Chaoui
Using graph transformation and Maude to simulate and verify UML models. Technological Advances in Electrical, Electronics and Computer Engineering (TAEECE'13): 459-464 (2013)
أطروحة الدكتوراه
Elmansouri Raida
Modélisation et Vérification des processus métiers dans les entreprises virtuelles : Une approche basée sur la transformation de graphes. Laboratoire LIRE, Université Mentouri de Constantine, Algérie (2010)