User:Laurent/Collections/Deploy Deliverable D6
From Event-B
< User:Laurent
Jump to navigationJump to searchRevision as of 13:38, 28 January 2009 by imported>Laurent
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