Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. Java Modeling Language (JML)

Java Modeling Language (JML)

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

Java Modeling Language (JML) es un lenguaje de especificación de interfaz de comportamiento que se puede utilizar para especificar el comportamiento de los módulos Java (como en el diseño por contrato -- DBC). Tiene muchas herramientas para hacer comprobación de aserción, pruebas unitarias, etc.

historial de versiones

  • Versión plugins publicado en 2011-02-13
    Varias correcciones y actualizaciones
  • Versión N/A publicado en 2011-02-13

Detalles del programa

Programas relacionados

  • OpenSeeds Gratis

    OpenSeeds es un marco de desarrollo web de código abierto y un modelo de objetos diseñado para el entorno LAMP. Está diseñado teniendo en cuenta sistemas complejos. El marco en sí es ligero. El modelo de objetos es simplista.

  • JNI++ Gratis

    Este proyecto proporciona dos utilidades de generación de código y una biblioteca de C++ principal que simplifican la programación a la JNI en C++.

  • Almende's Abbey Agent Kernel Gratis

    Este proyecto proporciona un núcleo simple para crear aplicaciones distribuidas basadas en agentes. Se basa en la idea de que los principios subyacentes a la programación del flujo de datos son adecuados para diseñar un lengu

  • Flicky Web Launcher Prueba gratuita

    Esta aplicación es sólo un icono que inicia el sitio About.com.Facilita la entrada al sitio web de Flickr.appjungle.net afiliado a Flickr.(todas las marcas comerciales son propiedad de sus respectivos propietarios)

  • MGP Gratis

    El plugin Maven GWT se utiliza para compilar archivos de origen JavaScript desde el origen Java. El plugin ejecuta GWTCompiler, permite configurar las opciones del compilador, detecta automáticamente la ubicación de los archi

  • Delta Compositor Gratis

    Delta Compositor es un paquete de composición de películas de gama alta y efectos especiales. Está en un desarrollo muy temprano. Ahora está disponible una versión basada en scripts. Una interfaz gráfica de usuario está actua

  • Database Access Framework Gratis

    Una versión mejorada de Data Access Application Block de Microsoft patrones y prácticas Enterprise Library 2.0.

  • jDummy Gratis

    jDummy es una extensión de jMock, una biblioteca para probar código Java con objetos ficticios. jDummy reduce el código necesario para expresar expectativas relevantes mediante la generación de los valores ficticios y los obj

  • ALPprolog Gratis

    ALPprolog es una implementación de Prolog de un lenguaje de programación de acciones. Con ALPprolog puede programar estrategias para agentes autónomos en dominios dinámicos como, por ejemplo, el mundo Wumpus.

  • C++ Object Interfacing Dispatcher Gratis

    COID es una biblioteca de redes de servicio de objetos de C++, con una herramienta que genera automáticamente una capa de comunicación ligera directamente desde las declaraciones de clase de C++.