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=31afc64440b7da53bb79e6f1524d47bf0fb56aaf;hp=90d4a4fa40c05dd302323300b3bbd4dbbf1dd117;hpb=2ba3d3b802bfa9ca330f1dc2e54653b3bcceba65;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 90d4a4fa4..bbdd09cb9 100644
--- a/helm/mowgli/home/xml/work-packages/testing-and-validation.xml
+++ b/helm/mowgli/home/xml/work-packages/testing-and-validation.xml
@@ -6,6 +6,7 @@
Education. Full development of a fragment of the library
+ 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
+ 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
+ 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.
We expect a lot of feed-back during this phase, that will be taken into account for the definition of the advanced and