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=4a3d1981b741f2c34a8ad2b5a832a3ae909180c6;hb=52ee33174ed91376a8cb67e9b1d95a82027ca764;hp=90d4a4fa40c05dd302323300b3bbd4dbbf1dd117;hpb=2ba3d3b802bfa9ca330f1dc2e54653b3bcceba65;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 90d4a4fa4..4a3d1981b 100644
--- a/helm/mowgli/home/xml/work-packages/testing-and-validation.xml
+++ b/helm/mowgli/home/xml/work-packages/testing-and-validation.xml
@@ -22,21 +22,24 @@
      release of the first MOWGLI prototype, at month 18. We
      shall consider three main validation tests:</p>
   <tasks>
-   <task name="T6.1">
-    <p>Education. Full development of a fragment of the library
+   <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 name="T6.2">
-    <p>Certified code. The aim is to be able to present the
+   <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 name="T6.3">
-    <p>Electronic Publishing. The aim is to test the LaTeX-based
+   <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>