Wafa CHAMA
...
Maître de conférences
Univ. Constantine 2
Equipe : MFGL

Ancien membre
Détails
Publications
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)
Thèse de doctorat
Wafa Chama
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)