Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. VDMJ

VDMJ

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎1 ‎Stemmen
Downloaden

VDMJ biedt basishulpprogramma's voor de VDM-SL, VDM++ en VDM-RT specificatietalen, geschreven in Java. Het omvat een parser, een typechecker, een tolk, een debugger en een bewijsverplichtingsgenerator. Het wordt gebruikt door de Ouverture eclipse project.

versiegeschiedenis

  • Versie N/A geplaatst op 2011-06-24
  • Versie Jars geplaatst op 2011-03-14
    Verschillende oplossingen en updates

Programmadetails

Gerelateerde programma's

  • qgallery Gratis

    Dit programma doorkruist een directorystructuur en verwerkt jpeg-afbeeldingsbestanden om nette en gemakkelijk navigerende HTML-afbeeldingsgalerieën te produceren. qgallery genereert automatisch miniaturen, ando kan ook af

  • Multimedia Interface Library Gratis

    De missie van dit project is het creëren van een set van bibliotheek en component voor Microsoft .net talen en mono talen voor multimedia zoals geluid afspelen video-input en directx en opengl faciliteit bibliotheken, en cont

  • ImageFun Gratis

    ImageFun is een kleine toepassing die de achtergrond van de afbeelding kan wijzigen

  • ZH Mono Gratis

    een monospaced lettertype met inscriptie Pahlavi en Inscriptional Parthian (Houd er rekening mee dat Windows 7 (nog?) de twee belangrijkste Unicode-bereiken in dit lettertype niet ondersteunt. Windows XP en Windows Vista werk

  • vSigpac Gratis

    vSigpac is een kaartviewer en een marker creator/editor, terrein- en textuurgenerator voor MSTS (Microsoft Train Simulator (c)). vSigpac werkt primair met Sigpac maps/orthofoto's uit Spanje, maar het kan werken met andere WMS

  • CoverME Gratis

    Software voor het zoeken en downloaden van album cover foto's. Covers van muziekalbums, dvd's of software

  • Essence 3D Game Engine Gratis

    Essence is een 3d game engine wordt geschreven in C + + voor de Windows-platforms.De engine is een efficiënte maar gebruiksvriendelijke toolkit voor ontwikkelaars die games, prototypes of visualisaties willen maken.Het

  • dvbpic Gratis

    Dvbpic is een beeldconverter, encoder en viewer voor dvb-kaarten; u het gebruiken om foto's te bekijken, zoals die genomen met uw digitale camera, op uw tv-set via een DVB-kaart ondersteund door de linux dvb driver.

  • Python Computer Graphics Kit Gratis

    De Python Computer Graphics Kit is een verzameling Python-modules diebasistypen en functies bevatten om 3D-computer te kunnen makengrafische afbeeldingen (gericht op Pixar's RenderMan-interface).

  • Clay3D Gratis

    Clay3D is een complete, uitbreekbare, en beschikken over rijke suite van netwerk agnostische, schaalbare toepassingen voor de productie van computer gegenereerde beelden en visuele effecten. Zie homepage voor meer informatie.