Publicité
+ Répondre à la discussion
Affichage des résultats 1 à 4 sur 4
  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 bruno pagès
    Développeur informatique
    Inscrit en
    juin 2005
    Messages
    3 197
    Détails du profil
    Informations personnelles :
    Nom : Homme bruno pagès
    Âge : 54
    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 197
    Points : 5 078
    Points
    5 078

    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.

Liens sociaux

Règles de messages

  • Vous ne pouvez pas créer de nouvelles discussions
  • Vous ne pouvez pas envoyer des réponses
  • Vous ne pouvez pas envoyer des pièces jointes
  • Vous ne pouvez pas modifier vos messages
  •