rCOS CoCoME wiki

From CoCoME

Contents 1 Full Team Model for Download 2 Additional Model Documentation 3 Team Structure and Plan 4 Links to Additional Information

Full Team Model for Download

• Download our Java Model!
• Additional Figures for CoCoME
• Flash-based demonstration of the Java application!
• SCA Based Implementation of CoCoME (alternative web-service based implementation)

Additional Model Documentation

• CSP model of state machine and regex/sequence diagram

Team Structure and Plan

• rCOS Team
• CoCoME research plan

Links to Additional Information

• rCOS–A Relational Calculus for Object Systems
• Publications
• Department of Computer Science, Aalborg University, Denmark
• CoCoME Homepage
• Software