User:Laurent/Collections/Deploy Deliverable D6
From Event-B
< User:Laurent
Jump to navigationJump to searchRevision as of 18:31, 17 December 2008 by imported>Nicolas (→Model Construction Tools and Analysis)
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