RCOS (computer sciences): Difference between revisions

Revision as of 07:45, 10 May 2019

Revision as of 13:01, 3 August 2019

Line 9:

*Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz: "rCOS: a formal model-driven engineering method for component-based software". ''Frontiers of Computer Science in China'' 6(1): 17-39 (2012)

* Zhiming Liu, Charles Morisset and Volker Stolz. "rCOS: Theory and Tool for Component-Based Model Driven Development, Keynote at FSEN09", [https://web.archive.org/web/20090509101723/http://www.iist.unu.edu/index.php/research/technical-reports ''Technical Report 406''], UNU-IIST, P.O. Box 3058, Macau, February 2009.

* Zhenbang Chen, Zhiming Liu, [[Ander P. Ravn]] and Volker Stolz (2009). "Refinement and Verification in Component-Based Model Driven Design". UNU-IIST Research Report 381. ''[[Science of Computer Programming]]'', 74(4):168-196, 2009.

* Liang Zhao, Xiaojian Liu, Zhiming Liu and Zongyan Qiu (2009). "Graph transformations for object-oriented refinement", ''[[Formal Aspects of Computing]]'', 21(1-2):103-131, 2009.

*He Jifeng, Xiaoshan Li, and Zhiming Liu. "Component-based software engineering". In Pro. ICTAC’2005, ''[[Lecture Notes in Computer Science]]'' volume 3722. Springer, 2005.