Diagramme états-transitions : traduction
{"Image DocumentName": "Diagramme \u00e9tats-transitions : traduction", "Image ImageDescription": "SS1. ev ( param-list) ev(param-list) = PRE Typage des param\u00e8tres. THEN. END; TS1. [C1] / op1 (param1-list) (SS1 \u00be C1 \u00be Pr\u00e9Condition_op1) SS2. TS2. [C2] / op2 (param2-list) ev ( param-list) (SS2 \u00be C2 \u00be Pr\u00e9Condition_op2) Select (SS1 \u00be C1) Then op1(param1-list) When (SS2 \u00be C2) Then op2(param2-list) END. op1(param1-list) III - Sp\u00e9cification des propri\u00e9t\u00e9s fonctionnelles des transactions.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}