Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. VDMJ

VDMJ

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes
Télécharger

VDMJ fournit un support d’outils de base pour les langages de spécification VDM-SL, VDM++ et VDM-RT, écrits en Java. Il comprend un parser, un correcteur de type, un interprète, un débugger et un générateur d’obligations de preuve. Il est utilisé par le projet d’éclipse d’ouverture.

historique de la version

  • Version N/A posté sur 2011-06-24
  • Version Jars posté sur 2011-03-14
    Plusieurs correctifs et mises à jour

Détails du programme

Programmes connexes

  • qgallery Gratuit

    Ce programme traversera un arbre d’annuaire, traitant les fichiers d’images jpeg pour produire des galeries d’images HTML soignées et facilement navigatables. qgallery générera automatiquement des vignettes, ando peut éga

  • Multimedia Interface Library Gratuit

    La mission de ce projet est de créer un ensemble de bibliothèque et de composant pour microsoft .net langues et mono langages pour le multimédia comme la lecture sonore de l’entrée vidéo et directx et bibliothèques d’installa

  • ImageFun Gratuit

    ImageFun est une petite application qui peut changer l’arrière-plan de l’image

  • ZH Mono Gratuit

    une police monospaced couvrant Inscriptional Pahlavi et Inscriptional Parthian (Veuillez noter que Windows 7 ne prend pas (encore ?) en charge les deux principales gammes Unicode représentées dans cette police. Cependant, Win

  • vSigpac Gratuit

    vSigpac est une visionneuse de cartes et un créateur/éditeur de marqueurs, un générateur de terrain et de texture pour MSTS (Microsoft Train Simulator (c)). vSigpac fonctionne principalement avec sigpac cartes / orthophotos d

  • CoverME Gratuit

    Logiciel de recherche et de téléchargement de photos de couverture d’album. Couvertures d’albums de musique, DVD ou logiciels

  • Essence 3D Game Engine Gratuit

    Essence est un moteur de jeu 3D en cours d’écriture en C++ pour les plates-formes Windows.Le moteur est une boîte à outils efficace mais facile à utiliser pour les développeurs qui souhaitent créer des jeux, des prototypes

  • dvbpic Gratuit

    Dvbpic est un convertisseur d’images, encoder et spectateur pour les cartes dvb; vous pouvez l’utiliser pour regarder des photos, comme celles prises avec votre appareil photo numérique, sur votre téléviseur via une carte DVB

  • Python Computer Graphics Kit Gratuit

    Le Kit Graphique Python est une collection de modules Python quicontiennent les types et fonctions de base pour être en mesure de créer un ordinateur 3Dimages graphiques (en se concentrant sur l’interface RenderMan de Pix

  • Clay3D Gratuit

    Clay3D est une suite complète, extensible et riche en fonctionnalités d’applications agnostiques réseau et évolutives pour la production d’images générées par ordinateur et d’effets visuels. S’il vous plaît voir la page d’acc