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 | 23 | 2012 |
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 | 8 | 2013 |
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 | 5 | 2013 |
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 | 3 | 2015 |
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 | 2 | 2012 |