X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Frequirement-analysis.xml;h=42fe780a0467d9461761a2c229403eb87ff132b0;hb=44fc0fe4dba9031746aba9b756fec28123f6779a;hp=2554171e256a5b17f19a23baff7576cc9f3b9a95;hpb=2ba3d3b802bfa9ca330f1dc2e54653b3bcceba65;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 2554171e2..42fe780a0 100644
--- a/helm/mowgli/home/xml/work-packages/requirement-analysis.xml
+++ b/helm/mowgli/home/xml/work-packages/requirement-analysis.xml
@@ -27,31 +27,37 @@
      to the different basic kind of interactions and manipulation
      to be considered, namely:</p>
   <tasks>
-   <task name="T1.1">
-    <p>Mathematics and the Web. State of the art, standards and
+   <task id="T1.1">
+    <name>Mathematics and the Web.</name>
+    <p>State of the art, standards and
        tools.</p>
    </task>
-   <task name="T1.2">
-    <p>Structured and Formal Mathematics. Delineation and
+   <task id="T1.2">
+    <name>Structured and Formal Mathematics.</name>
+    <p>Delineation and
        layering of Semantic Components. Requirements for
        the interaction with tools for the automation of formal
        reasoning.</p>
    </task>
-   <task name="T1.3">
-    <p>Metadata. Classification and data mining for content-based
+   <task id="T1.3">
+    <name>Metadata.</name>
+    <p>Classification and data mining for content-based
        mathematical documents, and key architectural guidelines
        for the metadata model.</p>
    </task>
-   <task name="T1.4">
-    <p>Searching and Retrieving. State of the art, use cases and
+   <task id="T1.4">
+    <name>Searching and Retrieving.</name> 
+    <p>State of the art, use cases and
        application scenarios.</p>
    </task>
-   <task name="T1.5">
-    <p>Distribution. Distributed document repositories and
+   <task id="T1.5">
+    <name>Distribution.</name>
+    <p>Distributed document repositories and
        peer-to-peer interoperability.</p>
    </task>
-   <task name="T1.6">
-    <p>Document Authoring. State of the art, use cases and
+   <task id="T1.6">
+    <name>Document Authoring.</name> 
+    <p>State of the art, use cases and
        application scenarios.</p>
    </task>
   </tasks>
@@ -71,9 +77,9 @@
      the Project (month six), when all the reports will be
      discussed and approved.</p>
  </description>
- <deliverable file="D1.a"/>
- <deliverable file="D1.b"/>
- <deliverable file="D1.c"/>
+ <deliverable file="requirement-analysis/d1a"/>
+ <deliverable file="requirement-analysis/d1b"/>
+ <deliverable file="requirement-analysis/d1c"/>
  <milestones>
   <p>The preliminary report D1.a is not a realmilestone:
      it should be considered as a first internal draft summarising