A Method to Transform Object-Oriented Design into Component-Based Design using Object-Z.

Suk Kyung Shin, Soo Dong Kim

Browse the full SERA paper archive.