Liang-Jie Zhang, Vishal Dwivedi, Nianjun Zhou. Formalizing Traceability for Architectural Evolutions. In 5th IEEE Asia-Pacific Services Computing Conference, APSCC 2010, 6-10 December 2010, Hangzhou, China, Proceedings. pages 285-292, IEEE Computer Society, 2010. [doi]
Abstract is missing.