Suk Kyung Shin, Soo Dong Kim. A Method to Transform Object-Oriented Design into Component-Based Design using Object-Z. In Third ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2005), 11-13 August 2005, Mt. Pleasant, MI, USA. pages 274-281, IEEE Computer Society, 2005. [doi]
Abstract is missing.