Formal Analysis of UML 2.0 Activities Using Graph Transformation Systems

Vahid Rafe, Adel Torkaman Rahmani, Reza Rafeh. Formal Analysis of UML 2.0 Activities Using Graph Transformation Systems. International Journal of Software Engineering and Knowledge Engineering, 20(5):679-694, 2010. [doi]

No reviews for this publication, yet.