프로그램별 gmfe.sf.net

이클립스를 위한 일반 모델링 프레임워크(GMF/E)는 언어 엔지니어와 일반적으로 새로운 공식 검증 방법을 개발하고 VIATRA 시뮬레이터를 사용하여 테스트하려는 사람이 사용할 수 있는 프레임워크입니다.