Difference between revisions of "User:Laurent/Collections/Deploy Deliverable D6"
From Event-B
Jump to navigationJump to searchimported>Laurent m |
imported>Laurent m |
||
| Line 46: | Line 46: | ||
;Mathematical extensions | ;Mathematical extensions | ||
| − | + | To be contributed by mjb in this wiki | |
;Model animation and testing | ;Model animation and testing | ||
Revision as of 16:23, 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
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
