X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Ftesting-and-validation.xml;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Ftesting-and-validation.xml;h=0000000000000000000000000000000000000000;hp=bbdd09cb9cf331eb8bbc7c918a839fa7e121fce3;hb=1696761e4b8576e8ed81caa905fd108717019226;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1

diff --git a/helm/mowgli/home/xml/work-packages/testing-and-validation.xml b/helm/mowgli/home/xml/work-packages/testing-and-validation.xml
deleted file mode 100644
index bbdd09cb9..000000000
--- a/helm/mowgli/home/xml/work-packages/testing-and-validation.xml
+++ /dev/null
@@ -1,59 +0,0 @@
-<?xml version="1.0"?>
-
-<!DOCTYPE work-package SYSTEM "work-package.dtd">
-
-<work-package number="6">
- <name>Testing and Validation</name>
- <begin>Month 12</begin>
- <end>Month 30</end>
- <leader file="nijmegen/geuvers"/>
- <person-month participant="bologna" number="5"/>
- <person-month participant="inria" number="6"/>
- <person-month participant="dfki" number="3"/>
- <person-month participant="nijmegen" number="17"/>
- <person-month participant="aei" number="14"/>
- <person-month participant="trusted-logic" number="9"/>
- <objectives>
-  <p>The WP intends to measure the system suitability and
-     scalability and the satisfaction level of users with the
-     service.</p>
- </objectives>
- <description>
-  <p>Large scale testing and validation will start after the
-     release of the first MOWGLI prototype, at month 18. We
-     shall consider three main validation tests:</p>
-  <tasks>
-   <task id="T6.1">
-    <name>Education.</name> 
-    <p>Full development of a fragment of the library
-       covering a typical undergraduate course in algebra of
-       analysis.</p>
-   </task>
-   <task id="T6.2">
-    <name>Certified code.</name> 
-    <p>The aim is to be able to present the
-       formalization and the demonstration of some security
-       properties related to the code embedded into a smart card.
-       The presentation must be in a format understandable by
-       the company in charge of the evaluation of the code and
-       in accordance with the Common Criteria standard.</p>
-   </task>
-   <task id="T6.3">
-    <name>Electronic Publishing.</name> 
-    <p>The aim is to test the LaTeX-based
-       authoring tool and to demonstrate how an electronic
-       physics journal benefits from the exploitation of
-       content markup in journal articles.</p>
-   </task>
-  </tasks>
- </description>
- <deliverable file="testing-and-validation/d6a"/>
- <deliverable file="testing-and-validation/d6b"/>
- <deliverable file="testing-and-validation/d6c"/>
- <deliverable file="testing-and-validation/d6d"/>
- <milestones>
-  <p>We expect a lot of feed-back during this phase, that will
-     be taken into account for the definition of the advanced and
-     final versions of the MOWGLI prototype.</p>
- </milestones>
-</work-package>