Chama Wafa
أستاذة محاضرة
Univ. Constantine 2
الفريق : MFGL

عضو سابق
Wafa Chama; Allaoua Chaoui; Seidali Rehab
Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars. Int. J. of Embedded and Real-Time Communication Systems (IJERTCS) 6(2): 48-64 (2015)
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)
أطروحة الدكتوراه
Chama Wafa
Une approche basée transformation de graphes pour la génération de spécifications Maude à partir de diagrammes UML. Université Constantine 2, Algérie (2017)