COO : Spécification du logiciel - OCL
spécification fonctionnelle : décrit le « fonctionnement » du logiciel, le quoi. ?
spécification ..... Une spécification algébrique est comme un dictionnaire, par
exemple du ..... d'un attribut hauteur dans la classe Rectangle .... e.responsable.
contrat.salaire >= e.agentSecrétariat.contrat.sal aire context e : encadrement inv :
e.