Transformation des patron UML vers B ou Z....

rawiamokni Messages postés 3 Date d'inscription samedi 1 mai 2010 Statut Membre Dernière intervention 29 septembre 2010 - 4 mai 2010 à 14:21
alid100810 Messages postés 1 Date d'inscription mercredi 25 avril 2012 Statut Membre Dernière intervention 6 mai 2012 - 6 mai 2012 à 16:23
salut,
je cherche à des outils qui sienteresse sur la transformation des patrons UML vers la methode formelle (vers Z OU B), merci d'avance.

1 réponse

alid100810 Messages postés 1 Date d'inscription mercredi 25 avril 2012 Statut Membre Dernière intervention 6 mai 2012
6 mai 2012 à 16:23
salut,
je cherche une application sur la transformation des diagramme UML vers la methode formelle ( B ), merci d'avance.
0
Rejoignez-nous