SOMMAIRE - SDIS 58

7.8.2.2 Exemple de la gestion de places d'un parking . ... peuvent être décrits en utilisant un langage de contraintes de type OCL. La vérification de.