プログラム gmfe.sf.net

Eclipseの一般的なモデリングフレームワーク(GMF/E)は、言語エンジニアや一般に新しい正式な検証方法を開発し、VIATRAシミュレータを使用してそれらをテストしたい人が使用できるフレームワークです。