Difference between revisions of "User:Laurent/Collections/Deploy Deliverable D6"
From Event-B
Jump to navigationJump to searchimported>Colin |
imported>Laurent m |
||
| Line 34: | Line 34: | ||
:[[EMF_framework_for_Event-B]] | :[[EMF_framework_for_Event-B]] | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
Soton (Renaming) | Soton (Renaming) | ||
:[[Parallel_Composition_using_Event-B]] | :[[Parallel_Composition_using_Event-B]] | ||
| − | + | :[[New_Proof_Rules]] | |
| − | + | :[[Measurement_Plug-In]] | |
| − | |||
;Mathematical extensions | ;Mathematical extensions | ||
| Line 52: | Line 46: | ||
;Model animation and testing | ;Model animation and testing | ||
| + | |||
| + | Currently in STUPS wiki which I can't access | ||
[[Category:Collections]] | [[Category:Collections]] | ||
Revision as of 18:41, 16 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
Soton (Renaming)
- Mathematical extensions
Soton + ETH (outline proposals)
- Model animation and testing
Currently in STUPS wiki which I can't access
