Wafa Chama

Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars

Allaoua Chaoui, Seidali Rehab, Wafa Chama, 2015, Int. J. Embed. Real Time Commun. Syst..

M ODEL CHECKING AND CODE GENERATION FOR UML DIAGRAM SUSING GRAPH TRANSFORMATION

Allaoua Chaoui, Raida Elmansouri, Wafa Chama, 2012 .

Using graph transformation and maude to simulate and verify UML models

Allaoua Chaoui, Raida Elmansouri, Wafa Chama, 2013, 2013 The International Conference on Technological Advances in Electrical, Electronics and Computer Engineering (TAEECE).

A Modeling and Verification Approach Based on Graph Transformation

Allaoua Chaoui, Raida Elmansouri, Wafa Chama, 2013 .

From UML Communication Diagrams to Aspect-Oriented Communication Diagrams Using Graph Transformation

Allaoua Chaoui, Wafa Chama, Mouna Aouag, 2012, ICIST.

UML DIAGRAMS USING GRAPH TRANSFORMATION

Allaoua Chaoui, Raida Elmansouri, Wafa Chama, 2012 .