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
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
New_Proof_Rules
Measurement_Plug-In
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=10757’