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=90d4a4fa40c05dd302323300b3bbd4dbbf1dd117;hb=2ba3d3b802bfa9ca330f1dc2e54653b3bcceba65;hp=f9e0d707c91180f80a892659320eb6eee68dd442;hpb=c4f3f237e762733eec0446b5b0c99c046336c893;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
index f9e0d707c..90d4a4fa4 100644
--- a/helm/mowgli/home/xml/work-packages/testing-and-validation.xml
+++ b/helm/mowgli/home/xml/work-packages/testing-and-validation.xml
@@ -1,5 +1,7 @@
 <?xml version="1.0"?>
 
+<!DOCTYPE work-package SYSTEM "work-package.dtd">
+
 <work-package number="6">
  <name>Testing and Validation</name>
  <begin>Month 12</begin>
@@ -19,34 +21,35 @@
   <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
+  <tasks>
+   <task name="T6.1">
+    <p>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
+       analysis.</p>
+   </task>
+   <task name="T6.2">
+    <p>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
+       in accordance with the Common Criteria standard.</p>
+   </task>
+   <task name="T6.3">
+    <p>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>
+       content markup in journal articles.</p>
+   </task>
+  </tasks>
  </description>
  <deliverable file="D6.a"/>
  <deliverable file="D6.b"/>
  <deliverable file="D6.c"/>
  <deliverable file="D6.d"/>
- <milestone>
+ <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>
- </milestone>
+ </milestones>
 </work-package>