B Tools - Brama
How to Install Brama ?
Prerequisites
Brama requires the presence of the Rodin
platform in version 0.7.3 or higher. The installation of Brama requires the use
of Eclipse’s “UpdateSite” function.
Three plugins are required:
Instructions
The installation of Brama requires the use of
Eclipse’s “UpdateSite” feature.
Proceed as follows:

-
Select “Search for a new feature to
install”;
-
Click on the "New Remote Site"button;
-
In the dialog box that appears, enter:
-
Click on the "New Remote Site"button;
-
In the dialog box that appears, enter:
-
Click on the "New Remote Site"button;
-
In the dialog box that appears, enter:
The
following configuration should appear:

-
Click on the "Finish" button to browsethe content of these update sites.
-
Select the most recent versions of Brama and b2rodin's "features" (functions)
-
Select Graphical Editing Framework.

- Click on ′Finish′ twice.
The downloading of the plugins will start immediately. Reboot the Eclipse
platform to save these changes.
Online Help can assist you with setting up
this tool. To access this help, select “Help” in the menu, then “Help
Contents”.

The Help window appears. It is divided into
two sections: the left section displays the help available and the right displays
the relevant text once you have selected a chapter. Click on “Brama Help” to
access help for Brama:
