Maude Development Tools

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

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

historial de versiones

  • Versión files publicado en 2010-10-27
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2010-10-27

Detalles del programa