vendredi 9 novembre 2007

Monsieur, on voudrait un atelier B pour nous, chez nous

Ben, pas de pb, voir mes pages, b4free, projet Rodin etc....

2 commentaires:

Arthur a dit…

J'ai mis à disposition de qui le souhaite, un fichier RAR comportant la Platform RODIN (Eclipse) et les updates nécessaires à l'utilisation de la méthode B en son sein.
Il suffit de décompresser l'archive, lancer rodin.exe :

Puis File / New Event-B Component / clic sur Browse / Choisir NewProject / Ok

Puis donner un nom à Component name ( modifier Changeme ) / Finish

Et voilà une belle machine :p

Download

citoyenUniversitaire a dit…

Merci. Bonne fin de dimanche