COO : Spécification du logiciel - OCL
a été dûment accepté par le jury d'examen constitué de: Mme. ... oriented
software, by model-checking the extended OCL constraints on UML models, ......
fause, un contre-exemple est produit pour aider le concepteur `a corriger les
erreurs.