Chunying Zhao, Jun Kong, Kang Zhang. Design Pattern Evolution and Verification Using Graph Transformation. In 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, USA. pages 290, IEEE Computer Society, 2007. [doi]
Abstract is missing.