L’envoyer par email pour obtenir le fichier de licence
L’outil nécessite Windows! Et les machines virtuelles ne sont pas autorisées.
Étude de cas
Description
Nous allons modéliser une porte automatique (type supermarché) dont le comportement peut être modélisé par le chronogramme illustré en [chronogram].
Le capteur (sensor), indique selon que quelqu’un (someone) ou non (nobody) est détecté et si la porte doit alors être ouverte (open) ou fermée (closed).
Structuration du projet
Créez les packages suivants:
"Library" pour placer ses propres définitions et templates.
