Apprentissage d'une méthode de spécification formelle : NIAM ;
Compréhension des aspects statiques et dynamiques du modèle conceptuel du bâtiment.
