Discussion :

[jbeat]

Bonjour,

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

context GroupeCours::ajouterAuxiliaire(codePermanent : String, role : RoleAuxiliaire, nbHeures : Integer)

pre : ??? **"Pour les charges de correcteur et de démonstrateur, l'étudiant a déjà suivi le cours correspondant avec une note finale valant A"**


Si quelqu'un peut m'aider..
Ce serait très apprécier Merci !