]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/work-packages/requirement-analysis.xml
Work-packages DTD improved (tasks now have an identifier and a name).
[helm.git] / helm / mowgli / home / xml / work-packages / requirement-analysis.xml
index 2554171e256a5b17f19a23baff7576cc9f3b9a95..d5564dc073842914a1eb2e23db0beba2ed47b8f0 100644 (file)
      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>