X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Frequirement-analysis.xml;h=996fce7e0ab133f11d95be64292c643021b18a36;hb=d0420e9a7ddc25d98e04f6c24046c02b57cb8cc4;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..996fce7e0 100644
--- a/helm/mowgli/home/xml/work-packages/requirement-analysis.xml
+++ b/helm/mowgli/home/xml/work-packages/requirement-analysis.xml
@@ -6,6 +6,7 @@
Mathematics and the Web. State of the art, standards and
+ State of the art, standards and
tools. Structured and Formal Mathematics. Delineation and
+ Delineation and
layering of Semantic Components. Requirements for
the interaction with tools for the automation of formal
reasoning. Metadata. Classification and data mining for content-based
+ Classification and data mining for content-based
mathematical documents, and key architectural guidelines
for the metadata model. Searching and Retrieving. State of the art, use cases and
+ State of the art, use cases and
application scenarios. Distribution. Distributed document repositories and
+ Distributed document repositories and
peer-to-peer interoperability. Document Authoring. State of the art, use cases and
+ State of the art, use cases and
application scenarios.
The preliminary report D1.a is not a realmilestone: it should be considered as a first internal draft summarising