User:Laurent/Collections/Deploy Deliverable D6

From Event-B
< User:Laurent
Revision as of 18:41, 16 December 2008 by imported>Laurent
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
UML-B_Integration_and_Improvements
Improved scalability
Undo_Redo_Design
Undo_Redo
File_Root_Separation
Rodin_Index_Design
Index_Query
Indexing_System
Extending_the_Index_Manager
Single_View_Design
Extending_the_project_explorer
Purging_Unused_Proofs
Proof_Purger
Proof_Skeleton
Proof_Skeleton_View
EMF_framework_for_Event-B
Soton (Renaming)
Parallel_Composition_using_Event-B
New_Proof_Rules
Measurement_Plug-In
Mathematical extensions
Soton + ETH (outline proposals)
Model animation and testing
Currently in STUPS wiki which I can't access
Retrieved from ‘https://wiki.event-b.org/index.php?title=User:Laurent/Collections/Deploy_Deliverable_D6&oldid=10758’