Maude Development Tools
Podrás descargarlo en 5 segundos.
También puede hacer clic en el siguiente enlace de descarga externa para iniciar la descarga:
http://sourceforge.net/projects/mdt/files/es.upv.dsic.issi.moment.mdt_2.0.6.zip/download
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
Programas relacionados
-
Electrical LV Calculator Prueba gratuita
Implementación de Referencia Rápida para los principales cálculos solicitados por el Reglamento Electrotécnico de Baja Tensión.Herramienta útil para topógrafos, ingenieros o electricistas.Diseñado para el cálculo de:
-
Ewe Virtual Machine Gratis
VM Java móvil para PocketPC, WindowsCE, Linux y Zaurus basados en dispositivos portátiles, PDA y SmartPhones, así como sistemas Windows y Linux de escritorio.
-
XiT Transformation Engine Gratis
[XiT ha desaparecido. Todo el código se ha movido a XGen] XiT es un marco para administrar las transformaciones de datos. Incorpora una arquitectura conectable para dar cabida a diferentes motores de transformación de datos.
-
Android Taskbar Gratis
Android Taskbar es un organizador de carpetas. Organiza aplicaciones, marcadores y contactos como la barra de inicio del PC. Agrupa aplicaciones y contactos y ordena la pantalla de inicio desordenada. ¿Por qué usar un lanzado
-
portletUnit Gratis
PortletUnit es un jUnit Java Unit Testing Framework para probar portlets JSR-168. Está construido en ServletUnit y Plutón. Proporciona un contenedor de portlet ficticio, ya que ServletUnit proporciona un contenedor de servl
-
Android Tweaker (PRO) Prueba gratuita
Del desarrollador de la ROM: Jellybam, estamos encantados de introducir Android Tweaker!** CHECK OUT THE EVOLUTION OF ANDROID TWEAKER: SEARCH FOR ANDROID SYSTEM FREE AND PRO **** READ BEFORE USE **** La aplicación requiere pe
-
text-analysis Gratis
Este proyecto tiene como objetivo implementar en java las siguientes técnicas de minería de texto: Detección de lenguaje de texto, Extracción de palabras clave y frases clave, Clasificación de texto, Clustering de texto, Resu
-
Tiny Shell Gratis
Tiny Shell proporciona el mínimo que necesita para implementar instalaciones de shell en un sistema pequeño. Por ejemplo, agregue un shell a la plataforma incrustada tan pronto como pueda leer y escribir bytes desde el UART.
-
XOof Gratis
XOof es un marco de desarrollo y especificación XML para documentar y desarrollar la capa de servicios de aplicaciones empresariales. A partir de las especificaciones, genera WSDL, DocBook, código del lado cliente y del lado
-
Lnu Gratis
Como estudiante en la Universidad de Linneo, aquí está la aplicación para la conexión a Lnu.se/Student.