Accueil l L'Outil BramaTélécharger l Démos en ligne l Documentation l LiensContact   


Télécharger Brama

Télécharger et Installer Brama ?

Dépendances

Brama nécessite la présence de la plateforme Rodin en version 0.7.3 ou ultérieure. L'installation de brama utilise la fonctionnalité « UpdateSite » d'Eclipse. Trois plugins sont nécessaires:

    • Brama : le plugin d'animation proprement dit
    • B2Rodin : réutilisation du wizard d'importation
    • GEF : la librairie graphique

Instructions

L'installation de brama utilise la fonctionnalité « UpdateSite » d'Eclipse. Pour ce faire, il faut :

  • Activer, dans le menuHelp / Software Updates, la fonctionnalité « Find and Install » ;

  • Sélectionner « Search for a new feature to install »;
  • Cliquer sur le bouton "New Remote Site.";
  • Dans la fenêtre de dialogue qui est apparue, saisir :
  • Cliquer sur le bouton "New Remote Site .";
  • Dans la fenêtre dedialogue qui est apparue, saisir :
  • Cliquer sur le bouton "New Remote Site .";
  • >Dans la fenêtre dedialogue qui est apparue, saisir :

La fenêtre d'aide s'affiche. Elle est divisée en deux parties : la partie gauche indique quelles sont les aides accessibles, la partie droite contient le texte de l'aide une fois un des chapitres choisi. Cliquer sur « Brama Help » pour accéder à l'aide relative à Brama :