ADVANCE D3.3 General Platform Maintenance: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Nicolas
First draft
 
imported>Nicolas
m →‎Overview: Started overview
Line 8: Line 8:
* 2.8 (released on 2013-06-20),
* 2.8 (released on 2013-06-20),
* 3.0 ({{TODO|?}}).
* 3.0 ({{TODO|?}}).
During this second period of the ADVANCE project, the core developments have been focused on stability and design improvement. As the platform has grown in complexity, internal architecture needed adjustments in order to remain maintainable. The number of external plug-ins has increased too, rising need for core API improvements.


{{TODO}}
{{TODO}}

Revision as of 14:41, 14 August 2013

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: ?).

During this second period of the ADVANCE project, the core developments have been focused on stability and design improvement. As the platform has grown in complexity, internal architecture needed adjustments in order to remain maintainable. The number of external plug-ins has increased too, rising need for core API improvements.

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