Maude Development Tools

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

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