Publications
From CoCoME
- The Common Component Modelling Example in rCOS: CoCoME bookchapter pre-print (UNU-IIST TR 382)
- A Refinement Driven Component-Based Design in: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand. IEEE Computer Society 2007 (local pre-print)
- Harnessing rCOS for Tool Support — The CoCoME Experience in: Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): Formal Methods and Hybrid Real-Time Systems, Symposium held in Macao, China, September 24-25, 2007. Lecture Notes in Computer Science 4700, Springer 2007. (UNU-IIST TR 383)
- Separation of Concerns and Consistent Integration in Requirements Modelling, Chen, Xin, Liu, Zhiming and Mencl, Vladimir, in: SOFSEM (1), pages 819-831, Springer, 2007 DOI.
[edit]
Presentations
- CoCoME workshop presentation (VolkerStolz, Aug. 2007)
- Harnessing rCOS for Tool Support — The CoCoME Experience, Festschrift Symposium, (VolkerStolz, Sept. 2007)
- internal presentations
[edit]
