Seguir
Wafa Chama
Título
Citado por
Citado por
Ano
Model checking and code generation for UML diagrams using graph transformation
W Chama, R Elmansouri, A Chaoui
International Journal of Software Engineering & Applications 3 (6), 39, 2012
232012
Using graph transformation and maude to simulate and verify UML models
W Chama, R Elmansouri, A Chaoui
2013 The International Conference on Technological Advances in Electrical …, 2013
82013
A modeling and verification approach based on graph transformation
W Chama, R Elmansouri, A Chaoui
Lecture Notes on Software Engineering 1 (1), 39-43, 2013
52013
Formal Modeling and Analysis of Object Oriented Systems using Triple Graph Grammars
W Chama, A Chaoui, S Rehab
International Journal of Embedded and Real-Time Communication Systems …, 2015
32015
From UML communication diagrams to aspect-oriented communication diagrams using graph transformation
M Aouag, W Chama, A Chaoui
Information and Software Technologies: 18th International Conference, ICIST …, 2012
22012
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–5