p
u
b
l
i
c
i
t
é
publicité
  1. #1
    Invité de passage
    Homme Profil pro
    Étudiant
    Inscrit en
    février 2013
    Messages
    3
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : Canada

    Informations professionnelles :
    Activité : Étudiant
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : février 2013
    Messages : 3
    Points : 0
    Points
    0

    Par défaut Pre condition sur une méthode

    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 !
    Images attachées Images attachées  

  2. #2
    Modérateur
    Avatar de bruno_pages
    Homme Profil pro
    Développeur informatique
    Inscrit en
    juin 2005
    Messages
    3 233
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 55
    Localisation : France

    Informations professionnelles :
    Activité : Développeur informatique
    Secteur : High Tech - Produits et services télécom et Internet

    Informations forums :
    Inscription : juin 2005
    Messages : 3 233
    Points : 5 115
    Points
    5 115

    Par défaut

    Bonsoir,

    franchement je ne comprends rien à votre demande

    vous devez écrire la précondition en quel langage, UML ? langue naturelle (Français ..) ?

    ce qui suit ??? est votre proposition de réponse ?

    à part cela le diagramme ne respecte pas les notations UML, mais c'est sans doute un problème lié à l'outil utilisé
    Bruno Pagès, auteur de Bouml, mes tutoriels sur DVP (vieux, non à jour)

  3. #3
    Invité de passage
    Homme Profil pro
    Étudiant
    Inscrit en
    février 2013
    Messages
    3
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : Canada

    Informations professionnelles :
    Activité : Étudiant
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : février 2013
    Messages : 3
    Points : 0
    Points
    0

    Par défaut clarification

    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 (etudiants.groupesCoursSuivis.session -> includes(self.session))
    then etudiants.codePermanent -> excludes(codePermanent)
    else true
    endif

  4. #4
    Invité de passage
    Homme Profil pro
    Étudiant
    Inscrit en
    février 2013
    Messages
    3
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : Canada

    Informations professionnelles :
    Activité : Étudiant
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : février 2013
    Messages : 3
    Points : 0
    Points
    0

    Par défaut clarification

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

Discussions similaires

  1. [Etat] appliquer une condition sur une somme
    Par Oluha dans le forum IHM
    Réponses: 5
    Dernier message: 13/02/2006, 13h34
  2. [ActiveX] Retour de BSTR sur une méthode externe
    Par mr.saucisse dans le forum MFC
    Réponses: 28
    Dernier message: 11/01/2006, 15h47
  3. Condition sur une requete
    Par faayy dans le forum Langage SQL
    Réponses: 2
    Dernier message: 29/04/2005, 14h28
  4. Réponses: 3
    Dernier message: 16/04/2004, 16h51
  5. [SQL] Conditions sur une date dans une requete
    Par poufouille dans le forum Bases de données
    Réponses: 4
    Dernier message: 17/03/2004, 14h25

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo