User:Laurent/Collections/Deploy Deliverable D6: Difference between revisions

From Event-B
Jump to navigationJump to search
← Older editNewer edit →
imported>Colin
imported>Laurent
mNo edit summary
Line 34: Line 34:


:[[EMF_framework_for_Event-B]]
:[[EMF_framework_for_Event-B]]
:[[New_Proof_Rules]]
:[[Measurement_Plug-In]]
More documentation for text editor?


  Soton (Renaming)
  Soton (Renaming)
:[[Parallel_Composition_using_Event-B]]
:[[Parallel_Composition_using_Event-B]]


Add page translated from Christophe's e-mail giving the requirements for the Measurement Plug-in.
:[[New_Proof_Rules]]
 
:[[Measurement_Plug-In]]
Add page translated from Son's e-mail about new proof rules developed by his students.


;Mathematical extensions
;Mathematical extensions
Line 52: Line 46:


;Model animation and testing
;Model animation and testing
Currently in STUPS wiki which I can't access


[[Category:Collections]]
[[Category:Collections]]

Revision as of 18:41, 16 December 2008

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’