Les méthodes formelles représentent une solution intéressante au probléme de manque de sémantique du langage uML qui est un langage graphique semi formel; bien qu,il soit trés largement répondu pour le développement des ...