User:Laurent/Collections/Deploy Deliverable D6

From Event-B
< User:Laurent
Revision as of 14:46, 16 December 2008 by imported>Laurent (initial incomplete version)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Deploy Deliverable D6

Model Construction Tools and Analysis

Requirements management
The tutorial is currently incomplete. Also, add design documentation from Systerel
Requirements_Tutorial
ReqsManagement


UML integration
Soton
Improved scalability
Undo_Redo_Design
Rodin_Index_Design
Index_Query
Indexing_System
Extending_the_Index_Manager
Missing Rodin navigator documentation
Extending_the_project_explorer
Purging_Unused_Proofs
Proof_Purger
Proof_Skeleton
EMF_framework_for_Rodin
More documentation for text editor?

Soton (Renaming)
Parallel_Composition_using_Event-B
Add page translated from Christophe's e-mail giving the requirements for the Measurement Plug-in.

Add page translated from Son's e-mail about new proof rules developed by his students.
Mathematical extensions
Soton + ETH (outline proposals)
Model animation and testing
Retrieved from ‘https://wiki.event-b.org/index.php?title=User:Laurent/Collections/Deploy_Deliverable_D6&oldid=10751’