Umbra: byte code and BML editor

Umbra is an Eclipse plugin to edit byte code programs in textual form combined with an editor for specifications in Bytecode Modeling Language (BML). The current version of the tool is 1.0 and it is still in alpha stage.

The whole package contains three elements:

  1. BCEL 5.1 - packaged as an Eclipse plugin,
  2. BmlLib - a library to manipulate BML specifications,
  3. Umbra - the editor itself.

News

Documentation

A paper presenting the Umbra editor can be found here (PDF).

Case study

We have developed a small case study using the tools. The case study is reported here.

Download

The Umbra editor together with all the necessary libraries can be found in its update site http://www.mimuw.edu.pl/~alx/umbra/update/.

The sources can be viewed and downloaded from the SVN repository:

  1. Umbra
  2. BmlLib

Contact

If you want to contact the authors of the tool, please send an email to Aleksy Schubert or Jacek Chrz±szcz.

Notice: Undefined variable: SCRIPT_NAME in /home/staff/iinf/alx/public_html/umbra/timestamp.e.inc on line 3 Last modification: 23.10.2009

Valid HTML 4.01! Valid CSS!