Rodin logo Information society technologies
Rigorous Open Development Environment for Complex Systems

Link to Home page
Link to Workpackages page
Link to Participants page
Link to Industrial Interest Group page
Link to expected results page
Link to expected results page
Link to publications page
Link to project background page
 
 
Credits
Project Member Space

Project Deliverables

RODIN Deliverable D1
Set up of Project Infrastructure Including Website

RODIN Deliverable D2
Definitions of Case Studies and Evaluation Criteria for Case Studies

RODIN Deliverable D3
Initial Dissemination Report

RODIN Deliverable D4
Traceable requirements documents for case studies

RODIN Deliverable D5
Final decisions

RODIN Deliverable D7
Event B language

RODIN Deliverable D8
Initial Report on Case Study Development

RODIN Deliverable D9
Preliminary report on methodology

RODIN Deliverable D10
Specification of Basic Tools and Platform

RODIN Deliverable D11
Definition of Plug-in Tools

RODIN Deliverable D12
Dissemination and exploitation report

RODIN Deliverable D15
Description of the Rodin Prototype

RODIN Deliverable D16
Prototype Plug-in Tools

RODIN Deliverable D17
Proceedings of the First International Workshop

RODIN Deliverable D18
Intermediate report on case study developments

RODIN Deliverable D19
Intermediate report on methodology

RODIN Deliverable D20
Dissemination and exploitation report

RODIN Deliverable D22
Assesment Report 2

RODIN Deliverable D23
Description of the Internal Version of the Rodin Platform

RODIN Deliverable D24
Internal Versions of Plug-in Tools

RODIN Deliverable D25
Proceedings of the Second International Workshop

RODIN Deliverable D26
Final Report on Case Study Development

RODIN Deliverable D27
Case Study Demonstrators

RODIN Deliverable D28
Report on Assessment of Tools and Methods

RODIN Deliverable D29
Final report on methodology

RODIN Deliverable D30
Public Versions of Basic Tools and Platform

RODIN Deliverable D31
Public Versions of Plug-in Tools

RODIN Deliverable D32
Dissemination and exploitation report

RODIN Deliverable D34
Assessment Report 3