Apprentissage d'une méthode de spécification formelle : UML ;
Apprentissage du formalisme Express-G appliqué aux IFC.
