Post condition : Contrôles préalables déclaration

  Description
  Description
AliasStéréotype
Expression affichéerésultats contrôles ?
Expression détaillée
DescriptionBranchements conditionnels en fonction des résultats des contrôles (voir le détail des règles de gestion)