tag:blogger.com,1999:blog-8940614537344287978.post744264729822291514..comments2018-07-07T08:26:26.635+02:00Comments on Spec 1 (Spécifications 1) Software Specifications: Monsieur, on voudrait un atelier B pour nous, chez nousArédius44http://www.blogger.com/profile/05155228812683099705noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-8940614537344287978.post-27088286186907683272007-11-11T18:23:00.000+01:002007-11-11T18:23:00.000+01:00Merci. Bonne fin de dimancheMerci. Bonne fin de dimancheArédius44https://www.blogger.com/profile/05155228812683099705noreply@blogger.comtag:blogger.com,1999:blog-8940614537344287978.post-8827203330594722072007-11-11T14:48:00.000+01:002007-11-11T14:48:00.000+01:00J'ai mis à disposition de qui le souhaite, un fich...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.<BR/>Il suffit de décompresser l'archive, lancer rodin.exe :<BR/><BR/>Puis File / New Event-B Component / clic sur Browse / Choisir NewProject / Ok<BR/><BR/>Puis donner un nom à Component name ( modifier Changeme ) / Finish<BR/><BR/>Et voilà une belle machine :p<BR/><BR/><A HREF="http://n3b0.free.fr/Software/Spec/RodinPlatForm.rar" REL="nofollow"> Download</A>Anonymoushttps://www.blogger.com/profile/17544367108132954594noreply@blogger.com