Software einreichen
  1. Startseite
  2. Windows
  3. Andere
  4. VDMJ

VDMJ

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 4.0/5 - ‎1 ‎Stimmen
Herunterladen

VDMJ bietet grundlegende Toolunterstützung für die Spezifikationssprachen VDM-SL, VDM++ und VDM-RT, die in Java geschrieben sind. Es enthält einen Parser, eine Typprüfung, einen Interpreter, einen Debugger und einen Proof-Pflichtgenerator. Es wird vom Overture Eclipse Projekt verwendet.

VERSIONSVERLAUF

  • Version N/A veröffentlicht auf 2011-06-24
  • Version Jars veröffentlicht auf 2011-03-14
    Mehrere Korrekturen und Updates

Programmdetails

Verwandte Programme

  • qgallery kostenlos

    Dieses Programm durchläuft einen Verzeichnisbaum und verarbeitet JPEG-Bilddateien, um saubere und leicht navigatable HTML-Bildergalerien zu erstellen. qgallery generiert automatisch Miniaturansichten und kann auch Bilder

  • Multimedia Interface Library kostenlos

    Die Mission dieses Projekts ist es, eine Reihe von Bibliotheken und Komponenten für Microsoft .net Sprachen und Mono-Sprachen für Multimedia wie Sound-Playing-Video-Eingabe und Directx und Opengl-Funktion Bibliotheken zu erst

  • ImageFun kostenlos

    ImageFun ist eine kleine Anwendung, die den Hintergrund des Bildes ändern kann

  • ZH Mono kostenlos

    eine monospaced Schriftart, die Inscriptional Pahlavi und Inscriptional Parthian (Bitte beachten Sie, dass Windows 7 (noch?) die beiden wichtigsten Unicode-Bereiche, die in dieser Schriftart dargestellt werden, nicht unterstü

  • vSigpac kostenlos

    vSigpac ist ein Map Viewer und Marker-Ersteller/-Editor, Terrain- und Texturgenerator für MSTS (Microsoft Train Simulator (c)). vSigpac arbeitet primär mit Sigpac-Karten/Orthophotos aus Spanien, kann aber mit anderen WMS-komp

  • CoverME kostenlos

    Software zum Suchen und Herunterladen von Album-Coverbildern. Cover von Musikalben, DVDs oder Software

  • Essence 3D Game Engine kostenlos

    Essence ist eine 3D-Spiel-Engine, die in C++ für die Windows-Plattformen geschrieben wird.Die Engine ist ein effizientes, aber einfach zu bedienendes Toolkit für Entwickler, die Spiele, Prototypen oder Visualisierungen ers

  • dvbpic kostenlos

    Dvbpic ist ein Bildkonverter, Encoder und Viewer für dvb-Karten; Sie können es verwenden, um Bilder zu sehen, wie sie mit Ihrer Digitalkamera aufgenommen wurden, auf Ihrem TV-Set über eine DVB-Karte, die vom Linux-Dvb-Treiber

  • Python Computer Graphics Kit kostenlos

    Das Python Computer Graphics Kit ist eine Sammlung von Python-Modulen, dieenthalten die grundlegenden Typen und Funktionen, um 3D-Computer erstellen zu könnenGrafikbilder (mit Fokus auf Pixars RenderMan-Schnittstelle).

  • Clay3D kostenlos

    Clay3D ist eine vollständige, erweiterbare und umfassende Suite von netzwerkagnostischen, skalierbaren Anwendungen für die Produktion computergenerierter Bilddaten und visueller Effekte. Weitere Informationen finden Sie auf d