X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Ftesting-and-validation.xml;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fwork-packages%2Ftesting-and-validation.xml;h=90d4a4fa40c05dd302323300b3bbd4dbbf1dd117;hb=2ba3d3b802bfa9ca330f1dc2e54653b3bcceba65;hp=f9e0d707c91180f80a892659320eb6eee68dd442;hpb=c4f3f237e762733eec0446b5b0c99c046336c893;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..90d4a4fa4 100644
--- a/helm/mowgli/home/xml/work-packages/testing-and-validation.xml
+++ b/helm/mowgli/home/xml/work-packages/testing-and-validation.xml
@@ -1,5 +1,7 @@
+
+
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: Education. Full development of a fragment of the library
covering a typical undergraduate course in algebra of
- analysis.
-
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. - -
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. - + 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.
-