COO : Spécification du logiciel - OCL

En génie logiciel, par défaut spécification sous-entend spécification ... Une spécification algébrique est comme un dictionnaire, par exemple du.