User:Laurent/Collections/Deploy Deliverable D6: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Laurent No edit summary |
imported>Nicolas |
||
| Line 16: | Line 16: | ||
:[[Undo_Redo_Design]] | :[[Undo_Redo_Design]] | ||
:[[Undo_Redo]] | |||
:[[File_Root_Separation]] | |||
:[[Rodin_Index_Design]] | :[[Rodin_Index_Design]] | ||
| Line 28: | Line 31: | ||
:[[Proof_Purger]] | :[[Proof_Purger]] | ||
:[[Proof_Skeleton]] | :[[Proof_Skeleton]] | ||
:[[Proof_Skeleton_View]] | |||
:[[EMF_framework_for_Rodin]] | :[[EMF_framework_for_Rodin]] | ||
Revision as of 16:40, 16 December 2008
Deploy Deliverable D6
Model Construction Tools and Analysis
- Requirements management
The tutorial is currently incomplete. Also, add design documentation from Systerel
- UML integration
Soton
- Improved scalability
More documentation for text editor?
Soton (Renaming)
Add page translated from Christophe's e-mail giving the requirements for the Measurement Plug-in.
Add page translated from Son's e-mail about new proof rules developed by his students.
- Mathematical extensions
Soton + ETH (outline proposals)
- Model animation and testing
