ADVANCE D3.2 General Platform Maintenance

From Event-B
Revision as of 09:52, 5 June 2012 by imported>Laurent (Initial version to be filled)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Core Rodin platform (Thomas Muller)

Overview

TODO: Fill this paragraph.

Motivations / Decisions

TODO: Fill this paragraph.

Available Documentation

TODO: Fill this paragraph.

Planning

TODO: Fill this paragraph.


UML-B Improvements (Colin Snook, Vitaly Savicks)

Overview

TODO: Fill this paragraph.

Motivations / Decisions

TODO: Fill this paragraph.

Available Documentation

TODO: Fill this paragraph.

Planning

TODO: Fill this paragraph.

Code generation (Andy Edmunds)

Overview

TODO: Fill this paragraph.

Motivations / Decisions

TODO: Fill this paragraph.

Available Documentation

TODO: Fill this paragraph.

Planning

TODO: Fill this paragraph.


ProR (Michael Jastram/Lukas Ladenberger)

Overview

TODO: Fill this paragraph.

Motivations / Decisions

TODO: Fill this paragraph.

Available Documentation

TODO: Fill this paragraph.

Planning

TODO: Fill this paragraph.


Camille (Ingo Weigelt)

Overview

TODO: Fill this paragraph.

Motivations / Decisions

TODO: Fill this paragraph.

Available Documentation

TODO: Fill this paragraph.

Planning

TODO: Fill this paragraph.

References