ocaml 3.09 transition

[helm.git] / helm / mowgli / home / xml / work-packages / testing-and-validation.xml

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 f9e0d707c91180f80a892659320eb6eee68dd442..bbdd09cb9cf331eb8bbc7c918a839fa7e121fce3 100644 (file)
--- a/helm/mowgli/home/xml/work-packages/testing-and-validation.xml
+++ b/helm/mowgli/home/xml/work-packages/testing-and-validation.xml
@@ -1,9 +1,12 @@
 <?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>
  <end>Month 30</end>
 <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="bologna" number="5"/>
  <person-month participant="inria" number="6"/>
  <person-month participant="dfki" number="3"/>


@@ -19,34 +22,38 @@
   <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 id="T6.1">
+    <name>Education.</name> 
+    <p>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 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
        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 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
        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>
  </description>

- <deliverable file="D6.a"/>
- <deliverable file="D6.b"/>
- <deliverable file="D6.c"/>
- <deliverable file="D6.d"/>
- <milestone>
+ <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>
   <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>