1 – Utiliser B à la maison (

Vous pouvez télécharger et installer chez vous une version libre de l’atelier B limitée à un usage pédagogique. L’atelier B est distribué par Clearsy (http://www.atelierb.societe.com/) ainsi que la version libre (http://www.b4free.com/). L’utilisation de cette version est facilitée par l’interface « Balbulette » développée par JR Abrial et D Cansell (http://www.loria.fr/~cansell/cnp.html). Ces deux outils nécessitent de disposer d’une distribution linux et d’une version d’xemacs supérieure à la 21.4 (éventuellement re-compilée avec l’option no-mule ?).

Pour installer ces 2 outils, il faut : 1. Vous inscrire sur le site http://www.b4free.com/public/subscription.php afin d’obtenir un mot de passe qui vous permettra de télécharger les fichiers d’installation du B4free. Attention, il faut faire cette inscription avec votre adresse mail de l’université qui « prouve » que vous comptez bien l’utiliser dans un contexte pédagogique ; 2. Télécharger la dernière version de B4free depuis la page http://b4free.com/public/download.php ; 3. Installer le B4free en suivant la procédure décrite à la page http://b4free.com/public/installLinuxSun.php (si, comme il est naturel de faire, vous voulez l’installer dans /usr/local, il faut que vous soyez root pour faire l’installation) ; 4. Télécharger la dernière version de la Balbulette depuis la page http://www.loria.fr/~cansell/cnp.html ; 5. L’installer en suivant la procédure décrite à la même page. Comme pour le B4free, l’idéal est de l’installer dans /usr/local en étant root. 6. Enfin chaque utilisateur du logiciel doit installer les fichiers de configuration de lancement des 2 outils à la racine de son répertoire utilisateur. Cf. section Première Utilisation ci-dessous.

Remarques : - Un certain nombre de documents (en particulier le manuel de référence du B) sont disponibles sur le site http://b4free.com/public/resources.php ; - Une version utilisable sous