Difference between revisions of "User:Laurent/Collections/Deploy Deliverable D6"
From Event-B
Jump to navigationJump to searchimported>Nicolas |
imported>Laurent m |
||
(One intermediate revision by one other user not shown) | |||
Line 1: | Line 1: | ||
== Deploy Deliverable D6 == | == Deploy Deliverable D6 == | ||
=== Model Construction Tools and Analysis === | === Model Construction Tools and Analysis === | ||
− | ;Requirements | + | ;Requirements Management |
The tutorial is currently incomplete. Also, add design documentation from Systerel | The tutorial is currently incomplete. Also, add design documentation from Systerel | ||
Line 9: | Line 9: | ||
− | ;UML | + | ;UML Integration |
:[[UML-B_Integration_and_Improvements]] | :[[UML-B_Integration_and_Improvements]] | ||
− | ;Improved | + | ;Improved Scalability |
Add list of bugs fixed and feature requests implemented from SF | Add list of bugs fixed and feature requests implemented from SF | ||
Line 230: | Line 230: | ||
:[[Measurement_Plug-In]] | :[[Measurement_Plug-In]] | ||
− | + | :[[Mathematical Extensions]] | |
− | + | ;Model Animation and Testing | |
− | |||
− | ;Model | ||
[http://www.stups.uni-duesseldorf.de/wiki/index.php/Deploy_Year_1_Activities available on stups wiki] | [http://www.stups.uni-duesseldorf.de/wiki/index.php/Deploy_Year_1_Activities available on stups wiki] | ||
[[Category:Collections]] | [[Category:Collections]] |
Latest revision as of 13:38, 28 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