User:Laurent/Collections/Deploy Deliverable D6: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Laurent mNo edit summary |
imported>Nicolas |
||
| Line 14: | Line 14: | ||
;Improved scalability | ;Improved scalability | ||
:bug #2417502: [https://sourceforge.net/tracker2/?func=detail&aid=2417502&group_id=108850&atid=651669|Tool problem reported for inexistent file] | |||
:bug #2417485: [https://sourceforge.net/tracker2/?func=detail&aid=2417485&group_id=108850&atid=651669|POG gets lost when a module class is missing] | |||
:feature request #2433478: [https://sourceforge.net/tracker2/?func=detail&aid=2433478&group_id=108850&atid=651672|Add a "Collapse All" button in editor] | |||
Add list of bugs fixed and feature requests implemented from SF | Add list of bugs fixed and feature requests implemented from SF | ||
Revision as of 18:31, 17 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
- bug #2417502: problem reported for inexistent file
- bug #2417485: gets lost when a module class is missing
- feature request #2433478: a "Collapse All" button in editor
Add list of bugs fixed and feature requests implemented from SF
- Mathematical extensions
To be contributed by mjb in this wiki
- Model animation and testing
