Difference between revisions of "User:Laurent/Collections/Deploy Deliverable D6"
From Event-B
Jump to navigationJump to searchimported>Nicolas |
imported>WikiSysop |
||
Line 230: | Line 230: | ||
:[[Measurement_Plug-In]] | :[[Measurement_Plug-In]] | ||
− | + | :[[Mathematical extensions]] | |
− | |||
− | |||
;Model animation and testing | ;Model animation and testing |
Revision as of 22:04, 26 January 2009
Contents
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
Bugs
Feature Requests
Documentation
- Model animation and testing