User:Laurent/Collections/Deploy Deliverable D6

From Event-B
< User:Laurent
Revision as of 16:19, 17 December 2008 by imported>Laurent (Update during technical meeting)
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
Add list of bugs fixed and feature requests implemented from SF
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
Refactoring_Framework
Parallel_Composition_using_Event-B
New_Proof_Rules
Measurement_Plug-In
Mathematical extensions
Soton + ETH (outline proposals)
Model animation and testing

[1]

Retrieved from ‘https://wiki.event-b.org/index.php?title=User:Laurent/Collections/Deploy_Deliverable_D6&oldid=10760’