ADVANCE D3.3 General Platform Maintenance

From Event-B
Revision as of 13:26, 15 July 2013 by imported>Nicolas (First draft)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

This part concerns the general maintenance performed on the Rodin toolset within the second year of the ADVANCE project. As the maintenance is a task that concerns the whole toolset, and to ease the reading of this part of the deliverable, the maintenance section has been decomposed in a list of subsections corresponding to scopes of the toolset. All these subsections maintain the template previously defined in the introduction.

Core Rodin platform

Overview

The Rodin platform versions concerned by this deliverable are:

  • 2.7 (released on 2012-11-05),
  • 2.8 (released on 2013-06-20),
  • 3.0 (TODO: ?).

TODO

Motivations / Decisions

TODO

Available Documentation

TODO

Planning

TODO

UML-B Improvements

Overview

TODO

Motivations / Decisions

TODO

Available Documentation

TODO

Planning

TODO

Code generation

Overview

TODO

Motivations / Decisions

TODO

Available Documentation

TODO

Planning

TODO

ProR

Overview

TODO

Motivations / Decisions

TODO

Available Documentation

TODO

Planning

TODO

Camille

Overview

TODO

Motivations / Decisions

TODO

Available Documentation

TODO

Planning

TODO

References