< User:Pascal(Difference between pages)
imported>Pascal |
imported>Andy |
| Line 1: |
Line 1: |
| − | == Introduction ==
| + | Entity diagram showing relationships between the classes/interfaces involved in proof status management. |
| − | The purpose of this page is to provide a template to define the common content for all sections of the DEPLOY Deliverable D23 (Model Construction and Analysis Tool II), as mentioned in the [http://bscw.cs.ncl.ac.uk/bscw/bscw.cgi/d103646/D23_Writing_Plan.pdf writing plan] for this document.
| |
| − | | |
| − | == Template ==
| |
| − | For each item covered in this document (see the writing plan), a section shall be created to provide a description of work and describe the role of partners during the passed year.
| |
| − | | |
| − | More precisely, each section shall give an overview of the contribution, some pointers to Event-B wiki pages where to find technical details, and some justifications for the decisions.
| |
| − | | |
| − | === Overview ===
| |
| − | | |
| − | === Motivations ===
| |
| − | The motivations are needed for each tool extension and improvements.
| |
| − | | |
| − | In many cases the motivation will be to improve ease of use by industrial partners.
| |
| − | | |
| − | === Evaluation ===
| |
| − | | |
| − | === Corrective and Evolutive Maintenance ===
| |
| − | | |
| − | == Example ==
| |
Revision as of 13:36, 5 May 2009
Entity diagram showing relationships between the classes/interfaces involved in proof status management.
