RCOS (computer sciences)
rCOS is a relational semantic model and refinement calculus for object-oriented and component-based software development. It was originally developed by He Jifeng, Zhiming Liu and Xiaoshan Li at UNU-IIST. It is supports both state-based and event-based modeling and analysis software development.
References
- He Jifeng, Xiashan Li, and Zhiming Liu. Component-based software
engineering. In Pro. ICTAC’2005, volume 3722 of LNCS. Springer, 2005.
- He Jifeng, Xiashan Li, and Zhiming Liu. rCOS: A refinement calculus
for object systems. Theoretical Computer Science, 365(1–2):109–142, 2006.
- He Jifeng, [[Zhiming Liu], and Xiashan 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. Technical Report 350, UNU-IIST, P.O. Box 3058, Macao SAR, China, 2006. http://www.iist.unu.edu, Accepted by FSEN’07.
- Xin Chen, Zhiming Liu, and Vladimir. Mencl. Separation of concerns
and consistent integration in requirements modelling. In Proc. Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science. Springer, 2007.