Difference between revisions of "ADVANCE D3.3 General Platform Maintenance"

From Event-B
Jump to navigationJump to search
imported>Nicolas
m (→‎Overview: Started overview)
imported>Nicolas
Line 9: Line 9:
 
* 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.
+
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, raising need for core API improvements. The new major version Rodin 3.0 addresses these expectations.
  
 
{{TODO}}
 
{{TODO}}

Revision as of 16:23, 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, raising need for core API improvements. The new major version Rodin 3.0 addresses these expectations.

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