A Graph Grammar Approach to Software Architecture Verification and Transformation.

Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song

Browse the full COMPSAC paper archive.