Support Formal Component-Based Development with UML Profile

Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz. Support Formal Component-Based Development with UML Profile. In 22nd Australian Conference on Software Engineering (ASWEC 2013), 4-7 June 2013, Melbourne, Victoria, Australia. pages 191-200, IEEE, 2013. [doi]