Difference between revisions of "User:Laurent/Collections/Deploy Deliverable D6"
From Event-B
Jump to navigationJump to searchimported>Laurent m |
imported>Laurent m |
||
Line 14: | Line 14: | ||
;Improved scalability | ;Improved scalability | ||
+ | |||
+ | Add list of bugs fixed and feature requests implemented from SF | ||
:[[Undo_Redo_Design]] | :[[Undo_Redo_Design]] |
Revision as of 18:51, 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
Add list of bugs fixed and feature requests implemented from SF
Soton (Renaming)
- Mathematical extensions
Soton + ETH (outline proposals)
- Model animation and testing
Currently in STUPS wiki which I can't access