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=a4df9661e15509e5da6ed9c57e3ab6a27a440c3f;hp=82d379fd64fde75dd0683c6893518243a43f99a2;hpb=d8ad1d26122af00feda930086b6cfa42de0139fe;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..996fce7e0 100644
--- a/helm/mowgli/home/xml/work-packages/requirement-analysis.xml
+++ b/helm/mowgli/home/xml/work-packages/requirement-analysis.xml
@@ -1,9 +1,12 @@
+
+
The work plan is naturally organised in subtasks according
to the different basic kind of interactions and manipulation
to be considered, namely: State of the art, standards and
+ tools. Delineation and
layering of Semantic Components. Requirements for
the interaction with tools for the automation of formal
- reasoning.
-
Classification and data mining for content-based mathematical documents, and key architectural guidelines - for the metadata model. - -
State of the art, use cases and + application scenarios.
+Distributed document repositories and + peer-to-peer interoperability.
+State of the art, use cases and + application scenarios.
+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 @@ -68,10 +78,10 @@ the Project (month six), when all the reports will be discussed and approved.
-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 +90,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.
-