RCOS (computer sciences): Difference between revisions

Revision as of 00:56, 8 June 2009

Revision as of 04:32, 1 July 2009

Line 4:

==References==

* Zhenbang Chen, [[Zhiming Liu]], AnderCharles P. RavnMorisset and Volker Stolz (2008). ''RefinementrCOS: Theory and VerificationTool infor Component-Based Model Driven Design''.Development, UNU-IISTKeynote Researchat ReportFSEN09, 381[http://www.iist.unu.edu/index.php/research/technical-reports AcceptedTechnical byReport [[Journal406], ofUNU-IIST, ScienceP.O. ofBox Computer3058, Programming]]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. [[Journal of Science of Computer Programming]], 74(4):168-196, 2009.

* Liang Zhao, Xiaojian Liu, [[Zhiming Liu]] and Zongyan Qiu (20082009). ''Graph transformations for object-oriented refinement'', [[Formal Aspects of Computing]], 21(published online publication now and hard copy later1-2). It is also available as UNU:103-IIST Research Report131, 3812009.

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