Nguyen Truong Thang, Takuya Katayama. A Formal Approach Facilitating the Evolution of Component-Based Software. In 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 5-7 September 2005, Lisbon, Portugal. pages 49-52, IEEE Computer Society, 2005. [doi]
Abstract is missing.