X-Git-Url: http://matita.cs.unibo.it/gitweb/?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=f9e0d707c91180f80a892659320eb6eee68dd442;hb=d8ad1d26122af00feda930086b6cfa42de0139fe;hp=0000000000000000000000000000000000000000;hpb=05a794861b74ec8463dadf49492a22e078cc73f6;p=helm.git

diff --git a/helm/mowgli/home/xml/work-packages/testing-and-validation.xml b/helm/mowgli/home/xml/work-packages/testing-and-validation.xml
new file mode 100644
index 000000000..f9e0d707c
--- /dev/null
+++ b/helm/mowgli/home/xml/work-packages/testing-and-validation.xml
@@ -0,0 +1,52 @@
+<?xml version="1.0"?>
+
+<work-package number="6">
+ <name>Testing and Validation</name>
+ <begin>Month 12</begin>
+ <end>Month 30</end>
+ <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>
+  <dl>
+   <dt>T6.1</dt>
+   <dd>Education. Full development of a fragment of the library
+       covering a typical undergraduate course in algebra of
+       analysis.</dd>
+
+   <dt>T6.2</dt>
+   <dd>Certified code. 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.</dd>
+
+   <dt>T6.3</dt>
+   <dd>Electronic Publishing. 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.</dd>
+  </dl>
+ </description>
+ <deliverable file="D6.a"/>
+ <deliverable file="D6.b"/>
+ <deliverable file="D6.c"/>
+ <deliverable file="D6.d"/>
+ <milestone>
+  <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>
+ </milestone>
+</work-package>