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

VDMJ

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 4.0/5 - ‎1 ‎Votos
Download

O VDMJ fornece suporte básico de ferramentas para as linguagens de especificação VDM-SL, VDM++ e VDM-RT, escritas em Java. Inclui um analisador, um verificador de tipo, um intérprete, um depurador e um gerador de obrigações de prova. É usado pelo projeto 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 Livre

    Este programa atravessará uma árvore de diretório, processando arquivos de imagem jpeg para produzir galerias de imagem HTML limpas e facilmente navegáveis. qgallery irá gerar automaticamente miniaturas, ando também pode

  • Multimedia Interface Library Livre

    A missão deste projeto é criar um conjunto de bibliotecas e componentes para linguagens microsoft .net e linguagens mono para multimídia como entrada de vídeo e bibliotecas de instalações directx e opengl, e controle para cri

  • ImageFun Livre

    ImageFun é um pequeno aplicativo que pode alterar o plano de fundo da imagem

  • ZH Mono Livre

    uma fonte monoespaçada cobrindo Inscrição Pahlavi e Parthian Inscrição (Por favor, note que o Windows 7 não suporta (ainda?) suporta as duas principais faixas Unicode representadas nesta fonte. No entanto, o Windows XP e o Wi

  • vSigpac Livre

    vSigpac é um visualizador de mapas e um criador/editor de marcadores, gerador de terreno e textura para MSTS (Microsoft Train Simulator (c)). O vSigpac funciona primáriamente com mapas/ortofofofos Sigpac da Espanha, mas pode

  • CoverME Livre

    Software para pesquisar e baixar fotos de capa de álbuns. Capas de álbuns de música, DVDs ou Software

  • Essence 3D Game Engine Livre

    Essence é um motor de jogo 3d que está sendo escrito em C++ para as plataformas Windows.O motor é um kit de ferramentas eficiente, mas fácil de usar para desenvolvedores que desejam criar jogos, protótipos ou visualizações

  • dvbpic Livre

    Dvbpic é um conversor de imagens, codificador e visualizador para dvb-cards; você pode usá-lo para assistir fotos, como aquelas tiradas com sua câmera digital, em sua tv-set através de um cartão DVB suportado pelo driver linu

  • Python Computer Graphics Kit Livre

    O Python Computer Graphics Kit é uma coleção de módulos Python quecontêm os tipos e funções básicas para poder criar computador 3Dimagens gráficas (com foco na interface RenderMan da Pixar).

  • Clay3D Livre

    Clay3D é um conjunto completo, extensível e possui rico conjunto de aplicações agnósticas e escaláveis de rede para a produção de imagens geradas por computador e efeitos visuais. Por favor, consulte a página inicial para obt