X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Ftesting-and-validation.xml;h=bbdd09cb9cf331eb8bbc7c918a839fa7e121fce3;hb=bbe7741f3bbaacb93f2876c018dace82f5e929b8;hp=f9e0d707c91180f80a892659320eb6eee68dd442;hpb=d8ad1d26122af00feda930086b6cfa42de0139fe;p=helm.git
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 f9e0d707c..bbdd09cb9 100644
--- a/helm/mowgli/home/xml/work-packages/testing-and-validation.xml
+++ b/helm/mowgli/home/xml/work-packages/testing-and-validation.xml
@@ -1,9 +1,12 @@
+
+
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: Full development of a fragment of the library
covering a typical undergraduate course in algebra of
- analysis.
-
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. - -
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. - + content markup in journal articles.
+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.
-