Tarafından Programlar gmfe.sf.net

Eclipse için Genel Modelleme Çerçevesi (GMF / E) dil mühendisleri ve genellikle yeni resmi doğrulama yöntemleri geliştirmek ve VIATRA simülatörü kullanarak test etmek isteyen herkes tarafından kullanılabilir bir çerçevedir.