Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach

Yujun Zheng, Jinyun Xue, Qimin Hu. Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. JDIM, 5(3):115-122, 2007.

Abstract

Abstract is missing.