![](/statics/img/blank.png)
Maude Development Tools
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 3.0/5 - 1 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de Maude Development Tools
Las herramientas de desarrollo de Maude son un conjunto de plugins que incrustan el intérprete de maude (http://maude.cs.uiuc.edu) en Eclipse. Proporciona un plugin central, que permite a cualquier programa Java utilizar Maude, y un conjunto de plugins que proporcionan un IDE basado en Eclipse