User:Laurent/Collections/Deploy Deliverable D6: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Laurent mNo edit summary |
imported>Laurent Update during technical meeting |
||
| Line 37: | Line 37: | ||
:[[EMF_framework_for_Event-B]] | :[[EMF_framework_for_Event-B]] | ||
:[[Refactoring_Framework]] | |||
:[[Parallel_Composition_using_Event-B]] | :[[Parallel_Composition_using_Event-B]] | ||
| Line 49: | Line 50: | ||
;Model animation and testing | ;Model animation and testing | ||
[http://www.stups.uni-duesseldorf.de/wiki/index.php/Deploy_Year_1_Activities] | |||
[[Category:Collections]] | [[Category:Collections]] | ||
Revision as of 16:19, 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
Soton + ETH (outline proposals)
- Model animation and testing
