Difference between revisions of "Past Developments"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (One Single View) |
imported>Mathieu m (→Plug-ins: Requirement Management Plug-in) |
||
| Line 23: | Line 23: | ||
=== Plug-ins === | === Plug-ins === | ||
| + | ==== Requirement Management Plug-in ==== | ||
| + | [[User:Jastram|Michael]] at [[Düsseldorf]] is in charge of the [[:Category:Requirement Plugin|Requirements Management Plug-in]]. | ||
| + | {{See also|ReqsManagement|Requirements Tutorial|l1=Requirements Management Plug-in}} | ||
| + | |||
| + | This plug-in allows: | ||
| + | * Requirements to be edited in a set of documents (independently from Rodin) | ||
| + | * Requirements to be viewed within Rodin | ||
| + | * Individual Requirements to be linked to individual Event-B-Entities | ||
| + | * A basic completion test to be performed | ||
[[Category:Work done]] | [[Category:Work done]] | ||
Revision as of 09:43, 4 March 2009
This page sum up the developments recently done around or for the Rodin Platform, which are integrated or compatibles with the last platform revision.
Deploy Tasks
The following tasks were planned at some stage of the Deploy project.
Core Platform
Undo / Redo for editors
- See also: Undo/Redo design
Systerel is in charge of this task.
The goal of this task is to implement an undo/redo feature for editing actions.
This feature is now part of Rodin v0.9.0.
Exploratory Tasks
One Single View
Maria Husmann was in charge of this exploratory work during is internship at Systerel.
- For more details on Single View Design, see Single View Design.
The goal of this project was to present everything in a single view in Rodin. So the user do not have to switch perspectives.
This work has been integrated into Rodin 0.9.2.
Plug-ins
Requirement Management Plug-in
Michael at Düsseldorf is in charge of the Requirements Management Plug-in.
- See also: Requirements Management Plug-in and Requirements Tutorial
This plug-in allows:
- Requirements to be edited in a set of documents (independently from Rodin)
- Requirements to be viewed within Rodin
- Individual Requirements to be linked to individual Event-B-Entities
- A basic completion test to be performed
