Recherche:

En faite j'ai utilise le language francais, seulement parce que je n'arrive pas a traduire la precondition en OCL.

Bonsoir,

En faite, il s'agit d'utiliser l'outil USE

Voila un exemple de contraintes : OCL

if (etudiants.groupesCoursSuivis.noGroupeCours -> includes( self.noGroupeCours)) and ...

Bonjour,

A partir de ce diagramme ( en fichier joint ) je dois écrire une précondition pour :

context GroupeCours::ajouterAuxiliaire(codePermanent : String, role : RoleAuxiliaire, nbHeures :...