Difference between revisions of "User:Laurent/Collections/Deploy Deliverable D6"
From Event-B
Jump to navigationJump to searchimported>Colin |
imported>Colin |
||
| Line 12: | Line 12: | ||
:[[UML-B_Integration_and_Improvements]] | :[[UML-B_Integration_and_Improvements]] | ||
| − | |||
;Improved scalability | ;Improved scalability | ||
Revision as of 17:39, 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
- 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
