Selected bibliography (full bibliography)
Z. Liu, C. Morisset, and V. Stolz. rCOS: theory and tools for componenent-based model driven development. Technical Report 406, UNU-IIST, February 2009. Keynote to appear in Proc. 3rd International Symposium on Fundamentals of Software Engineering, FSEN 2009, Lecture Notes in Computer Science. [ .pdf ]
Z. Chen, C. Morisset, and V. Stolz. Specification and validation of behavioural protocols in the rCOS modeler. In Proc. FSEN 2009, 2009. To be published. [ .pdf ]
Z. Chen, Z. Liu, and V. Stolz. The rCOS tool. In J. Fitzgerald, P. G. Larsen, and S. Sahara, editors, Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop, number CS-TR-1099 in Technical Report Series. Newcastle University, May 2008.
L. Zhao, X. Liu, Z. Liu, and Z. Qiu. Graph transformations for object-oriented refinement. Formal Aspects of Computing, 2008. [ DOI ]
Z. Chen, Z. Liu, A. P. Ravn, V. Stolz, and N. Zhan. Refinement and verification in component-based model driven design. Science of Computer Programming, 2008. To be published.
Z. Chen, A. H. Hannousse, D. V. Hung, I. Knoll, X. Li, Y. Liu, Z. Liu, Q. Nan, J. C. Okika, A. P. Ravn, V. Stolz, L. Yang, and N. Zhan. Modelling with relational calculus of object and component systems-rCOS. In A. Rausch, R. Reussner, R. Mirandola, and F. Plasil, editors, The Common Component Modeling Example, volume 5153 of Lecture Notes in Computer Science, chapter 3. Springer, 2008. [ .pdf ]
X. Chen, J. He, Z. Liu, and N. Zhan. A model of component-based programming. In F. Arbab and M. Sirjani, editors, International Symposium on Fundamentals of Software Engineering (FSEN 2007), volume 4767 of Lecture Notes in Computer Science, pages 191-206. Springer, April 2007. UNU-IIST TR 350. [ DOI | .pdf ]
Z. Chen, Z. Liu, V. Stolz, L. Yang, and A. P. Ravn. A refinement driven component-based design. In 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), pages 277-289. IEEE Computer Society, July 2007. [ DOI ]
X. Chen, Z. Liu, and V. Mencl. Separation of concerns and consistent integration in requirements modelling. In J. van Leeuwen, G. F. Italiano, W. van der Hoek, C. Meinel, H. Sack, and F. Plasil, editors, SOFSEM 2007: 33rd Conference on Current Trends in Theory and Practice of Computer Science, volume 4362 of Lecture Notes in Computer Science, pages 819-831, Harrachov, Czech Republic, January 2007. Springer. [ DOI | .pdf ]
J. He, Z. Liu, and X. Li. rCOS: A refinement calculus of object systems. Theor. Comput. Sci., 365(1-2):109-142, 2006. UNU-IIST TR 322. [ DOI | .pdf ]
Presentations and Courses
- rCOS tutorial [PDF] at ICTAC'09
- VSTTE 2008 5-min presentation [PDF] on rCOS
- Course on rCOS: the course is organised in two parts: UML Based Model Driven Engineering for Component Software, and its Formal Support by rCOS.
- Wiki for our CoCoME contribution
- Introduction to UML profiles / the rCOS UML profile FAISE 2008 / Guiyang presentation (Volker Stolz, May 2008)
- The CoCoME case study in rCOS FAISE 2008 / Guiyang presentation (Volker Stolz, May 2008)
- CoCoME workshop presentation (Volker Stolz, Aug. 2007)
- Harnessing rCOS for Tool Support — The CoCoME Experience, Festschrift Symposium, (Volker Stolz, Sept. 2007)
