X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Frequirement-analysis.xml;h=2554171e256a5b17f19a23baff7576cc9f3b9a95;hb=2ba3d3b802bfa9ca330f1dc2e54653b3bcceba65;hp=82d379fd64fde75dd0683c6893518243a43f99a2;hpb=c4f3f237e762733eec0446b5b0c99c046336c893;p=helm.git

diff --git a/helm/mowgli/home/xml/work-packages/requirement-analysis.xml b/helm/mowgli/home/xml/work-packages/requirement-analysis.xml
index 82d379fd6..2554171e2 100644
--- a/helm/mowgli/home/xml/work-packages/requirement-analysis.xml
+++ b/helm/mowgli/home/xml/work-packages/requirement-analysis.xml
@@ -1,5 +1,7 @@
 <?xml version="1.0"?>
 
+<!DOCTYPE work-package SYSTEM "work-package.dtd">
+
 <work-package number="1">
  <name>Requirement Analysis</name>
  <begin>Month 0</begin>
@@ -24,34 +26,35 @@
   <p>The work plan is naturally organised in subtasks according
      to the different basic kind of interactions and manipulation
      to be considered, namely:</p>
-  <dl>
-   <dt>T1.1</dt>
-   <dd>Mathematics and the Web. State of the art, standards and
-       tools.</dd>
-
-   <dt>T1.2</dt>
-   <dd>Structured and Formal Mathematics. Delineation and
+  <tasks>
+   <task name="T1.1">
+    <p>Mathematics and the Web. State of the art, standards and
+       tools.</p>
+   </task>
+   <task name="T1.2">
+    <p>Structured and Formal Mathematics. Delineation and
        layering of Semantic Components. Requirements for
        the interaction with tools for the automation of formal
-       reasoning.</dd>
-
-   <dt>T1.3</dt>
-   <dd>Metadata. Classification and data mining for content-based
+       reasoning.</p>
+   </task>
+   <task name="T1.3">
+    <p>Metadata. Classification and data mining for content-based
        mathematical documents, and key architectural guidelines
-       for the metadata model.</dd>
-
-   <dt>T1.4</dt>
-   <dd>Searching and Retrieving. State of the art, use cases and
-       application scenarios.</dd>
-
-   <dt>T1.5</dt>
-   <dd>Distribution. Distributed document repositories and
-       peer-to-peer interoperability.</dd>
-
-   <dt>T1.6</dt>
-   <dd>Document Authoring. State of the art, use cases and
-       application scenarios.</dd>
-  </dl>
+       for the metadata model.</p>
+   </task>
+   <task name="T1.4">
+    <p>Searching and Retrieving. State of the art, use cases and
+       application scenarios.</p>
+   </task>
+   <task name="T1.5">
+    <p>Distribution. Distributed document repositories and
+       peer-to-peer interoperability.</p>
+   </task>
+   <task name="T1.6">
+    <p>Document Authoring. State of the art, use cases and
+       application scenarios.</p>
+   </task>
+  </tasks>
   <p>Part of the activity, covering Tasks T1.1-2-6 should be
      concluded within the first three months, with the
      preliminary report D1.a. The main aim of this phase is
@@ -71,7 +74,7 @@
  <deliverable file="D1.a"/>
  <deliverable file="D1.b"/>
  <deliverable file="D1.c"/>
- <milestone>
+ <milestones>
   <p>The preliminary report D1.a is not a realmilestone:
      it should be considered as a first internal draft summarising
      the main functionalities required by the system and the basic
@@ -80,5 +83,5 @@
      eventually detailed in D1.b and D1.c, which are real
      Milestones, since the rest of the work will be largely
      driven by them.</p>
- </milestone>
+ </milestones>
 </work-package>