| Pré. | Proc. |
Types de contraintes
Dans une définition d'élément ' Propriétés ', chaque contrainte sur l'élément est définie par type dans le champ 'Contrainte'. Vous pouvez sélectionner la valeur appropriée dans une liste déroulante, qui contient initialement les valeurs système :
- Invariant
- Post-condition
- Condition préalable
- Processus et
- LAC
Accéder
|
Ruban |
Paramètres > Données de référence > Types de Modèle > Types généraux > Contrainte |
Personnaliser les types de contraintes
Option |
La description |
Voir également |
|---|---|---|
|
Contrainte |
Type le nom de la contrainte à définir. |
|
|
La description |
Type une brève description de la contrainte. |
|
|
Note |
Type tout autre détail concernant la contrainte. |
|
|
Nouveau |
Effacer les champs pour définir une nouvelle contrainte. |
|
|
sauvegarder |
Enregistrez la définition de contrainte et ajoutez-la à la liste Types de contrainte définis. |
|
|
Effacer |
Supprimez la contrainte actuellement sélectionnée de la liste Types de contrainte définis. |
|
|
Types de contraintes définis |
Répertorie les types de contraintes actuellement définis et leurs descriptions. |
Notes
- Vous pouvez transporter des types de contraintes personnalisées entre les modèles à l'aide des options de ruban "Paramètres > Modèle > Transfert > Exporter les données de référence" et "Importer les données de référence".