<?xml version="1.0"?>
+<!DOCTYPE work-package SYSTEM "work-package.dtd">
+
<work-package number="6">
<name>Testing and Validation</name>
<begin>Month 12</begin>
<p>Large scale testing and validation will start after the
release of the first MOWGLI prototype, at month 18. We
shall consider three main validation tests:</p>
- <dl>
- <dt>T6.1</dt>
- <dd>Education. Full development of a fragment of the library
+ <tasks>
+ <task name="T6.1">
+ <p>Education. Full development of a fragment of the library
covering a typical undergraduate course in algebra of
- analysis.</dd>
-
- <dt>T6.2</dt>
- <dd>Certified code. The aim is to be able to present the
+ analysis.</p>
+ </task>
+ <task name="T6.2">
+ <p>Certified code. The aim is to be able to present the
formalization and the demonstration of some security
properties related to the code embedded into a smart card.
The presentation must be in a format understandable by
the company in charge of the evaluation of the code and
- in accordance with the Common Criteria standard.</dd>
-
- <dt>T6.3</dt>
- <dd>Electronic Publishing. The aim is to test the LaTeX-based
+ in accordance with the Common Criteria standard.</p>
+ </task>
+ <task name="T6.3">
+ <p>Electronic Publishing. The aim is to test the LaTeX-based
authoring tool and to demonstrate how an electronic
physics journal benefits from the exploitation of
- content markup in journal articles.</dd>
- </dl>
+ content markup in journal articles.</p>
+ </task>
+ </tasks>
</description>
<deliverable file="D6.a"/>
<deliverable file="D6.b"/>
<deliverable file="D6.c"/>
<deliverable file="D6.d"/>
- <milestone>
+ <milestones>
<p>We expect a lot of feed-back during this phase, that will
be taken into account for the definition of the advanced and
final versions of the MOWGLI prototype.</p>
- </milestone>
+ </milestones>
</work-package>