Enviar software
  1. Casa
  2. Windows
  3. Otro
  4. VDMJ
  5. Download

VDMJ

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

acerca de VDMJ

VDMJ proporciona soporte básico de la herramienta para los lenguajes de especificación VDM-SL, VDM++ y VDM-RT, escritos en Java. Incluye un analizador, un corrector de tipos, un intérprete, un depurador y un generador de obligaciones de prueba. Es utilizado por el proyecto de eclipse Overture.

Programas relacionados

  • qgallery Gratis

    Este programa atravesará un árbol de directorios, procesando archivos de imagen jpeg para producir galerías de imágenes HTML ordenadas y fácilmente navegables. qgallery generará automáticamente miniaturas, y también puede

  • Multimedia Interface Library Gratis

    La misión de este proyecto es crear un conjunto de bibliotecas y componentes para los idiomas .net de microsoft y los lenguajes mono para multimedia como la reproducción de sonido de entradas de vídeo y bibliotecas de instala

  • ImageFun Gratis

    ImageFun es una pequeña aplicación que puede cambiar el fondo de la imagen

  • ZH Mono Gratis

    una fuente monoespacial que cubre Inscriptional Pahlavi y Inscriptional Parthian (Tenga en cuenta que Windows 7 no admite (todavía?) los dos rangos Unicode principales representados en esta fuente. Sin embargo, Windows XP y W

  • vSigpac Gratis

    vSigpac es un visor de mapas y un creador/editor de marcadores, terreno y generador de texturas para MSTS (Microsoft Train Simulator (c)). vSigpac trabaja principalmente con mapas Sigpac/ortofotos de España, pero puede trabaj

  • CoverME Gratis

    Software para buscar y descargar imágenes de portada de álbumes. Cubiertas de álbumes de música, DVD o Software

  • Essence 3D Game Engine Gratis

    Essence es un motor de juegos 3d que está escrito en C++ para las plataformas Windows.El motor es un kit de herramientas eficiente pero fácil de usar para los desarrolladores que deseen crear juegos, prototipos o visualiza

  • dvbpic Gratis

    Dvbpic es un convertidor de imágenes, codificador y visor para tarjetas dvb; se puede utilizar para ver imágenes, como las tomadas con su cámara digital, en su televisor-set a través de una tarjeta DVB compatible con el contr

  • Python Computer Graphics Kit Gratis

    Python Computer Graphics Kit es una colección de módulos Python quecontienen los tipos y funciones básicas para poder crear un ordenador 3Dimágenes gráficas (centrándose en la interfaz RenderMan de Pixar).

  • Clay3D Gratis

    Clay3D es un conjunto completo, extensible y rico en características de aplicaciones escalables y agnósticas de la red para la producción de imágenes generadas por computadora y efectos visuales. Consulte la página de inicio