Il peut être une aide précieuse pour valider le fonctionnement d'une application par l'utilisateur final. 3.1.3.4 Diagramme d'Etats Le diagramme d'états est le modèle le plus courant pour spécifier le comportement d'un système. Il se fonde sur une représentation graphique d'automates ...