Chama WAFA
PhD student
Univ. Constantine 2
Team : 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)
PhD thesis
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)