User:Laurent/Collections/Deploy Deliverable D6

From Event-B
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
bug #2417502: problem reported for inexistent file
bug #2417485: gets lost when a module class is missing
feature request #2433478: a "Collapse All" button in editor
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
To be contributed by mjb in this wiki
Model animation and testing

available on stups wiki