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]

Authors

Dan Li

This author has not been identified. Look up 'Dan Li' in Google

Xiaoshan Li

This author has not been identified. Look up 'Xiaoshan Li' in Google

Zhiming Liu

This author has not been identified. Look up 'Zhiming Liu' in Google

Volker Stolz

This author has not been identified. Look up 'Volker Stolz' in Google