Toumi, Imad; Boulefa, Nadji; Djaoui, Chafika (Encadreur); Kerkouche, Elhilali(Encadreur)
(Université jijel, 2017)
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 ...