rCOS — Refinement of Component and Object Systems

rCOS is a notation that supports refinement and verification in component-based and object-oriented design.

The distinctive features of rCOS are:

News

rCOS Modeler

Overview of the rCOS Modeler -- take a peek at our project

TTSS'08 soliciting submission on rCOS:

The 2nd Intl. Workshop on Harnessing Theories for Tool Support in Software (TTSS'08) (Istanbul, August 2008) colocated with ICTAC is soliciting contributions on rCOS!

rCOS at VDM-Overture workshop:

We will give an overview over rCOS and the modeling tool at VDM-Overture workshop (Finland, May 2008) colocated with FM'08.

Publications

(BibTeX)

Presentations

Technical Reports

rCOS Team


Last modified: Wed Oct 24 16:27:29 HKT 2007 by Volker Stolz.