- RCOS
rCOS is a relational semantic model and refinement calculus for
object-oriented andcomponent-based software development. It was originally developed byHe Jifeng ,Zhiming Liu andXiaoshan Li atUNU-IIST . It supports both state-based and event-based modeling and analysissoftware development . Please visit http://rcos.iist.unu.edu/ for more details.References
* Zhenbang Chen,
Zhiming Liu , Ander P. Ravn and Volker Stolz (2008). "Refinement and Verification in Component-Based Model Driven Design". UNU-IIST Research Report 381. Accepted byJournal of Science of Computer Programming .* Liang Zhao, Xiaojian Liu,
Zhiming Liu and Zongyan Qiu (2008). "Graph transformations for object-oriented refinement",Formal Aspects of Computing (published online publication now and hard copy later). It is also available as as UNU-IIST Research Report 381.*
He Jifeng , Xiaoshan Li, andZhiming Liu . "Component-based software engineering". In Pro. ICTAC’2005,Lecture Notes in Computer Science volume 3722. Springer, 2005.*
He Jifeng , Xiaoshan Li, andZhiming Liu . "rCOS: A refinement calculus for object systems".Theoretical Computer Science , 365(1–2):109–142, 2006.*
He Jifeng ,Zhiming Liu , and Xiaoshan Li. "A theory of reactive components".Electronic Notes of Theoretical Computer Science , 160:173–195, 2006.*Xin Chen,
He Jifeng ,Zhiming Liu , and Naijun Zhan. "A model of component-based programming". Proc. FSEN 2007,Computer Science, Lecture Notes in Computer Science 4767, pp. 191-208.*Xin Chen,
Zhiming Liu , and Vladimir Mencl. "Separation of concerns and consistent integration in requirements modelling". In Proc. Current Trends in Theory and Practice ofComputer Science, Lecture Notes in Computer Science . Springer,2007 .*Zhenbang Chen,
Zhiming Liu , Anders P. Ravn, Volker Stolz and Naijun Zhan. "Refinement and Verification in Component-Based Model Driven Design", Submitted to Science of Computer Programming, Elsevier. (UNU-IIST TR 388),2007 .
Wikimedia Foundation. 2010.
