A Coalgebraic Semantic Framework for Component-based Development in UML

S. Meng, B. K. Aichernig, L. S. Barbosa, and Z. Naixiao

Abstract:

Reference: S. Meng, B. K. Aichernig, L. S. Barbosa, and Z. Naixiao. A coalgebraic semantic framework for component-based development in UML. Electron. Notes Theor. Comput. Sci., 122:229-245, 2005.