From: Claudio Sacerdoti Coen Date: Wed, 13 Feb 2002 15:55:21 +0000 (+0000) Subject: Deliverables added. X-Git-Tag: V_0_3_0_debian_8~332 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2f3cd07536c7abacd73d144c9f033503457522d5;p=helm.git Deliverables added. The idea is that for every deliverable we have an XML file. When we write a deliverable, we encode it in XML in the same page, we detect this in XSLT and we create the hyperlink to another page that renders it. --- diff --git a/helm/mowgli/home/xml/deliverables/deliverable.dtd b/helm/mowgli/home/xml/deliverables/deliverable.dtd new file mode 100644 index 000000000..a0b763bcc --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/deliverable.dtd @@ -0,0 +1,7 @@ + + + + + + diff --git a/helm/mowgli/home/xml/deliverables/distribution/d5a.xml b/helm/mowgli/home/xml/deliverables/distribution/d5a.xml new file mode 100644 index 000000000..75d80cd29 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/distribution/d5a.xml @@ -0,0 +1,7 @@ + + + + + + Overall Architectural Design of the Distribution Model. + diff --git a/helm/mowgli/home/xml/deliverables/distribution/d5b.xml b/helm/mowgli/home/xml/deliverables/distribution/d5b.xml new file mode 100644 index 000000000..4ba6a5c05 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/distribution/d5b.xml @@ -0,0 +1,7 @@ + + + + + + Advanced MOWGLI Prototype. + diff --git a/helm/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7a.xml b/helm/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7a.xml new file mode 100644 index 000000000..d7cbcc59b --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7a.xml @@ -0,0 +1,7 @@ + + + + + + Dissemination and Use Plan. + diff --git a/helm/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7b.xml b/helm/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7b.xml new file mode 100644 index 000000000..0984899a0 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/information-dissemination-and-exploitation/d7b.xml @@ -0,0 +1,7 @@ + + + + + + Technological Implementation Plan. + diff --git a/helm/mowgli/home/xml/deliverables/interfaces/d4a.xml b/helm/mowgli/home/xml/deliverables/interfaces/d4a.xml new file mode 100644 index 000000000..6b705a64d --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/interfaces/d4a.xml @@ -0,0 +1,7 @@ + + + + + + MathML Rendering/Browsing engine. + diff --git a/helm/mowgli/home/xml/deliverables/interfaces/d4b.xml b/helm/mowgli/home/xml/deliverables/interfaces/d4b.xml new file mode 100644 index 000000000..0592eccd4 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/interfaces/d4b.xml @@ -0,0 +1,7 @@ + + + + + + First MOWGLI Prototype. + diff --git a/helm/mowgli/home/xml/deliverables/interfaces/d4c.xml b/helm/mowgli/home/xml/deliverables/interfaces/d4c.xml new file mode 100644 index 000000000..dcf6f6e44 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/interfaces/d4c.xml @@ -0,0 +1,7 @@ + + + + + + Prototype functionalities for assisted annotation. + diff --git a/helm/mowgli/home/xml/deliverables/interfaces/d4d.xml b/helm/mowgli/home/xml/deliverables/interfaces/d4d.xml new file mode 100644 index 000000000..75ec03f74 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/interfaces/d4d.xml @@ -0,0 +1,7 @@ + + + + + + LaTeX-based authoring tool (first prototype). + diff --git a/helm/mowgli/home/xml/deliverables/interfaces/d4e.xml b/helm/mowgli/home/xml/deliverables/interfaces/d4e.xml new file mode 100644 index 000000000..14da8a925 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/interfaces/d4e.xml @@ -0,0 +1,7 @@ + + + + + + Refined and extended protoype of the LaTeX-based authoring tool. + diff --git a/helm/mowgli/home/xml/deliverables/metadata/d3a.xml b/helm/mowgli/home/xml/deliverables/metadata/d3a.xml new file mode 100644 index 000000000..eef2e0f79 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/metadata/d3a.xml @@ -0,0 +1,7 @@ + + + + + + Metadata for Mathematics. + diff --git a/helm/mowgli/home/xml/deliverables/metadata/d3b.xml b/helm/mowgli/home/xml/deliverables/metadata/d3b.xml new file mode 100644 index 000000000..0fd519c0d --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/metadata/d3b.xml @@ -0,0 +1,7 @@ + + + + + + Metadata Model. + diff --git a/helm/mowgli/home/xml/deliverables/project-management/d0a.xml b/helm/mowgli/home/xml/deliverables/project-management/d0a.xml new file mode 100644 index 000000000..20aad8b36 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/project-management/d0a.xml @@ -0,0 +1,7 @@ + + + + + + Self Assesment parameters and criteria. + diff --git a/helm/mowgli/home/xml/deliverables/project-management/d0b.xml b/helm/mowgli/home/xml/deliverables/project-management/d0b.xml new file mode 100644 index 000000000..9965d4a60 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/project-management/d0b.xml @@ -0,0 +1,7 @@ + + + + + + First Self-assesment Report. + diff --git a/helm/mowgli/home/xml/deliverables/project-management/d0c.xml b/helm/mowgli/home/xml/deliverables/project-management/d0c.xml new file mode 100644 index 000000000..145dc44f3 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/project-management/d0c.xml @@ -0,0 +1,7 @@ + + + + + + Second Self-assesment Report. + diff --git a/helm/mowgli/home/xml/deliverables/project-management/d0d.xml b/helm/mowgli/home/xml/deliverables/project-management/d0d.xml new file mode 100644 index 000000000..8d58a3e20 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/project-management/d0d.xml @@ -0,0 +1,7 @@ + + + + + + Final Self-assesment Report. + diff --git a/helm/mowgli/home/xml/deliverables/requirement-analysis/d1a.xml b/helm/mowgli/home/xml/deliverables/requirement-analysis/d1a.xml new file mode 100644 index 000000000..1ea177d51 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/requirement-analysis/d1a.xml @@ -0,0 +1,7 @@ + + + + + + Preliminary Report on Application Scenarios and Requirement Analysis. + diff --git a/helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml b/helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml new file mode 100644 index 000000000..35e26820b --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/requirement-analysis/d1b.xml @@ -0,0 +1,7 @@ + + + + + + Structure and Meta-Structure of Mathematical Documents. + diff --git a/helm/mowgli/home/xml/deliverables/requirement-analysis/d1c.xml b/helm/mowgli/home/xml/deliverables/requirement-analysis/d1c.xml new file mode 100644 index 000000000..834e82a4f --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/requirement-analysis/d1c.xml @@ -0,0 +1,7 @@ + + + + + + Distributed Electronic Libraries: development, archiving, retrieving. + diff --git a/helm/mowgli/home/xml/deliverables/testing-and-validation/d6a.xml b/helm/mowgli/home/xml/deliverables/testing-and-validation/d6a.xml new file mode 100644 index 000000000..c88d4ca57 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/testing-and-validation/d6a.xml @@ -0,0 +1,7 @@ + + + + + + Validation 1: Education. + diff --git a/helm/mowgli/home/xml/deliverables/testing-and-validation/d6b.xml b/helm/mowgli/home/xml/deliverables/testing-and-validation/d6b.xml new file mode 100644 index 000000000..67b6c72dc --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/testing-and-validation/d6b.xml @@ -0,0 +1,9 @@ + + + + + + Validation 2: Documents describing the formalization + of a security function embedded into a smart card and the proof that + the code meets its security objectives. + diff --git a/helm/mowgli/home/xml/deliverables/testing-and-validation/d6c.xml b/helm/mowgli/home/xml/deliverables/testing-and-validation/d6c.xml new file mode 100644 index 000000000..1ace1ab5e --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/testing-and-validation/d6c.xml @@ -0,0 +1,8 @@ + + + + + + Validation 3: Journal interface with added functionalities due to + content markup, e.g. search interface. + diff --git a/helm/mowgli/home/xml/deliverables/testing-and-validation/d6d.xml b/helm/mowgli/home/xml/deliverables/testing-and-validation/d6d.xml new file mode 100644 index 000000000..a988cc86a --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/testing-and-validation/d6d.xml @@ -0,0 +1,7 @@ + + + + + + Final MOWGLI Prototype. + diff --git a/helm/mowgli/home/xml/deliverables/transformation/d2a.xml b/helm/mowgli/home/xml/deliverables/transformation/d2a.xml new file mode 100644 index 000000000..de03b6b73 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/transformation/d2a.xml @@ -0,0 +1,7 @@ + + + + + + Exportation module. + diff --git a/helm/mowgli/home/xml/deliverables/transformation/d2b.xml b/helm/mowgli/home/xml/deliverables/transformation/d2b.xml new file mode 100644 index 000000000..e5dae03f6 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/transformation/d2b.xml @@ -0,0 +1,7 @@ + + + + + + Document Type Descriptors. + diff --git a/helm/mowgli/home/xml/deliverables/transformation/d2c.xml b/helm/mowgli/home/xml/deliverables/transformation/d2c.xml new file mode 100644 index 000000000..79ed9e4e7 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/transformation/d2c.xml @@ -0,0 +1,7 @@ + + + + + + Stylesheets to intermediate representation (formulae). + diff --git a/helm/mowgli/home/xml/deliverables/transformation/d2d.xml b/helm/mowgli/home/xml/deliverables/transformation/d2d.xml new file mode 100644 index 000000000..61cfb1807 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/transformation/d2d.xml @@ -0,0 +1,7 @@ + + + + + + Stylesheets to intermediate representation (proofs). + diff --git a/helm/mowgli/home/xml/deliverables/transformation/d2e.xml b/helm/mowgli/home/xml/deliverables/transformation/d2e.xml new file mode 100644 index 000000000..45285ff07 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/transformation/d2e.xml @@ -0,0 +1,7 @@ + + + + + + Presentational Stylesheets (formulae). + diff --git a/helm/mowgli/home/xml/deliverables/transformation/d2f.xml b/helm/mowgli/home/xml/deliverables/transformation/d2f.xml new file mode 100644 index 000000000..4f3c93fb7 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/transformation/d2f.xml @@ -0,0 +1,7 @@ + + + + + + Presentational Stylesheets (proofs). + diff --git a/helm/mowgli/home/xml/deliverables/transformation/d2g.xml b/helm/mowgli/home/xml/deliverables/transformation/d2g.xml new file mode 100644 index 000000000..bcd42c5a4 --- /dev/null +++ b/helm/mowgli/home/xml/deliverables/transformation/d2g.xml @@ -0,0 +1,7 @@ + + + + + + Tools for automatic extraction of Metadata. + diff --git a/helm/mowgli/home/xml/work-packages/distribution.xml b/helm/mowgli/home/xml/work-packages/distribution.xml index 75a767226..184856c3f 100644 --- a/helm/mowgli/home/xml/work-packages/distribution.xml +++ b/helm/mowgli/home/xml/work-packages/distribution.xml @@ -50,8 +50,8 @@ - - + +

The main milestone is the release of the advanced MOWGLI prototype, for the fourth meeting of the project, at month diff --git a/helm/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml b/helm/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml index fbd8f58da..0f3b15ec3 100644 --- a/helm/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml +++ b/helm/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml @@ -38,8 +38,8 @@ releases, we also plan to prepare an ``information pack'', including a folder and CDROM with demos.

- - + + Scientific Publications on professional journals and conference proceedings. diff --git a/helm/mowgli/home/xml/work-packages/interfaces.xml b/helm/mowgli/home/xml/work-packages/interfaces.xml index 42a14a2b3..cbd3db83b 100644 --- a/helm/mowgli/home/xml/work-packages/interfaces.xml +++ b/helm/mowgli/home/xml/work-packages/interfaces.xml @@ -56,11 +56,11 @@ - - - - - + + + + +

The main milestone is the release of the first MOWGLI prototype, at month 18.

diff --git a/helm/mowgli/home/xml/work-packages/metadata.xml b/helm/mowgli/home/xml/work-packages/metadata.xml index 9ec83a7a8..06ca2ab4b 100644 --- a/helm/mowgli/home/xml/work-packages/metadata.xml +++ b/helm/mowgli/home/xml/work-packages/metadata.xml @@ -44,8 +44,8 @@ - - + +

The definition of the Metadata model is amain milestone, since the architectural design and implementation of the diff --git a/helm/mowgli/home/xml/work-packages/project-management.xml b/helm/mowgli/home/xml/work-packages/project-management.xml index 1ceba3b33..10674e31c 100644 --- a/helm/mowgli/home/xml/work-packages/project-management.xml +++ b/helm/mowgli/home/xml/work-packages/project-management.xml @@ -56,10 +56,10 @@ Cost Statements and Project Reports (month 12, 20, 30). - - - - + + + +

Main milestones are the periodic meetings, at month 6, 12, 20, 24, 30.

diff --git a/helm/mowgli/home/xml/work-packages/requirement-analysis.xml b/helm/mowgli/home/xml/work-packages/requirement-analysis.xml index d5564dc07..42fe780a0 100644 --- a/helm/mowgli/home/xml/work-packages/requirement-analysis.xml +++ b/helm/mowgli/home/xml/work-packages/requirement-analysis.xml @@ -77,9 +77,9 @@ 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 diff --git a/helm/mowgli/home/xml/work-packages/testing-and-validation.xml b/helm/mowgli/home/xml/work-packages/testing-and-validation.xml index 4a3d1981b..3bd3982e8 100644 --- a/helm/mowgli/home/xml/work-packages/testing-and-validation.xml +++ b/helm/mowgli/home/xml/work-packages/testing-and-validation.xml @@ -46,10 +46,10 @@ - - - - + + + +

We expect a lot of feed-back during this phase, that will be taken into account for the definition of the advanced and diff --git a/helm/mowgli/home/xml/work-packages/transformation.xml b/helm/mowgli/home/xml/work-packages/transformation.xml index c8f64693d..b10948fde 100644 --- a/helm/mowgli/home/xml/work-packages/transformation.xml +++ b/helm/mowgli/home/xml/work-packages/transformation.xml @@ -78,13 +78,13 @@ - - - - - - - + + + + + + +

The exportation module D2.a. is our first milestone: without a large amount of available documents it diff --git a/helm/mowgli/home/xsl/work-package.xsl b/helm/mowgli/home/xsl/work-package.xsl index 0e4eb84e3..eafaad9d1 100644 --- a/helm/mowgli/home/xsl/work-package.xsl +++ b/helm/mowgli/home/xsl/work-package.xsl @@ -56,9 +56,12 @@

  • - - - + + + + + diff --git a/helm/mowgli/home/xsl/work-packages_index.xsl b/helm/mowgli/home/xsl/work-packages_index.xsl index d3e8b8974..9ade48c7d 100644 --- a/helm/mowgli/home/xsl/work-packages_index.xsl +++ b/helm/mowgli/home/xsl/work-packages_index.xsl @@ -22,8 +22,17 @@

    Work Packages

    - - +
    + + + + + + + + + +
    Work Package:Tasks:Deliverables:
    @@ -31,14 +40,33 @@ - . - + + .
    - - - + + + + + + + + +   + + + + +
      + + + + + + +
    +
    @@ -52,6 +80,17 @@ + + +
  • + + + + + +
  • + +