]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/work-packages/testing-and-validation.xml
DTD improved (and committed) with new elements "task" and "tasks".
[helm.git] / helm / mowgli / home / xml / work-packages / testing-and-validation.xml
index f9e0d707c91180f80a892659320eb6eee68dd442..90d4a4fa40c05dd302323300b3bbd4dbbf1dd117 100644 (file)
@@ -1,5 +1,7 @@
 <?xml version="1.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>
 <work-package number="6">
  <name>Testing and Validation</name>
  <begin>Month 12</begin>
   <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>
   <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
        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
        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
        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"/>
  </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>
   <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>
 </work-package>