Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. VDMJ

VDMJ

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎1 ‎votos
Baixar

A VDMJ fornece suporte básico de ferramenta para as especificações VDM-SL, VDM++ e VDM-RT, escritas em Java. Inclui um parser, um verificador de tipo, um intérprete, um depurador e um gerador de obrigações à prova. É usado pelo projeto de eclipse de abertura.

história da versão

  • Versão N/A postado em 2011-06-24
  • Versão Jars postado em 2011-03-14
    Várias correções e atualizações

Detalhes do programa

Programas Relacionados

  • qgallery Grátis

    Este programa irá percorrer uma árvore de diretório, processando ficheiros de imagem JPEG para produzir galerias de imagem HTML limpas e facilmente navegáveis. qgallery irá automaticamente gerar miniaturas, ando também po

  • Multimedia Interface Library Grátis

    A missão deste projeto é criar um conjunto de bibliotecas e componentes para as línguas microsoft .net e mono idiomas para multimédia como a entrada de vídeo de reprodução de som e bibliotecas de instalações de directx e open

  • ImageFun Grátis

    ImageFun é uma pequena aplicação que pode alterar o fundo da imagem

  • ZH Mono Grátis

    um tipo de letra monoespacial que cobre o Pahlavi e o Parthian Inscrição (por favor, note que o Windows 7 não suporta (ainda?) as duas principais gamas Unicode representadas nesta fonte. No entanto, o Windows XP e o Windows V

  • vSigpac Grátis

    vSigpac é um espectador de mapas e um marcador criador/editor, gerador de terreno e textura para MSTS (Microsoft Train Simulator (c)). vSigpac funciona principalmente com mapas/ortofotos Sigpac de Espanha, mas pode trabalhar

  • CoverME Grátis

    Software para pesquisar e descarregar imagens de capa de álbum. Capas de álbuns de música, DVDs ou Software

  • Essence 3D Game Engine Grátis

    Essence é um motor de jogo 3d que está a ser escrito em C++ para as plataformas windows.O motor é um conjunto de ferramentas eficiente mas fácil de usar para desenvolvedores que desejam criar jogos, protótipos ou visualiza

  • dvbpic Grátis

    Dvbpic é um conversor de imagem, codificador e espectador para cartões dvb; pode usá-lo para ver imagens, como as tiradas com a sua câmara digital, no seu televisor através de um cartão DVB suportado pelo condutor do dvb linu

  • Python Computer Graphics Kit Grátis

    O Python Computer Graphics Kit é uma coleção de módulos Python quecontêm os tipos e funções básicos para ser capaz de criar computador 3Dimagens gráficas (focando-se na interface renderman da Pixar).

  • Clay3D Grátis

    Clay3D é um conjunto completo, extensível e apresenta um rico conjunto de aplicações agnósticas e escaláveis da rede para a produção de imagens geradas por computador e efeitos visuais. Consulte a página inicial para mais inf