General Modeling Framework for Eclipse

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes

The General Modeling Framework for Eclipse (GMF/E) is a framework usable by language engineers and generally anybody who wants to develop new formal verification methods, and test them using the VIATRA simulator.

VERSION HISTORY

  • Version N/A posted on 2004-10-08
    Several fixes and updates
  • Version N/A posted on 2004-10-08

Program Details