User:Laurent/Collections/Deploy Deliverable D6

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

Soton

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_Rodin

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