General Modeling Framework for Eclipse

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.0/5 - ‎1 ‎Votos

acerca de General Modeling Framework for Eclipse

El Marco General de Modelado para Eclipse (GMF/E) es un marco utilizable por los ingenieros de lenguaje y, en general, cualquier persona que desee desarrollar nuevos métodos formales de verificación, y probarlos utilizando el simulador VIATRA.