Invia software
  1. Casa
  2. Windows
  3. Altro
  4. VDMJ

VDMJ

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti
Scaricare

VDMJ fornisce il supporto degli strumenti di base per i linguaggi di specifica VDM-SL, VDM++ e VDM-RT, scritti in Java. Include un parser, un controllo dei tipi, un interprete, un debugger e un generatore di obblighi di prova. È utilizzato dal progetto Eclipse di Ouverture.

cronologia delle versioni

  • Versione N/A pubblicato il 2011-06-24
  • Versione Jars pubblicato il 2011-03-14
    Diverse correzioni e aggiornamenti

Dettagli del programma

Programmi correlati

  • qgallery Gratuito

    Questo programma attraverserà una struttura di directory, elaborando file di immagine jpeg per produrre gallerie di immagini HTML ordinate e facilmente navigabili. qgallery genererà automaticamente miniature, e può anche

  • Multimedia Interface Library Gratuito

    La missione di questo progetto è creare un insieme di librerie e componenti per i linguaggi Microsoft .NET e i linguaggi mono per contenuti multimediali come l'input video di riproduzione audio e le librerie di strutture dire

  • ImageFun Gratuito

    ImageFun è una piccola applicazione in grado di modificare lo sfondo dell'immagine

  • ZH Mono Gratuito

    un carattere monospazio che copre Inscriptional Pahlavi e Inscriptional Parthian (Si noti che Windows 7 non supporta (ancora?) i due principali intervalli Unicode rappresentati in questo tipo di carattere. Tuttavia, Windows X

  • vSigpac Gratuito

    vSigpac è un visualizzatore di mappe e un creatore/editor di marcatori, un generatore di terreni e texture per MSTS (Microsoft Train Simulator (c)). vSigpac funziona prima di tutto con mappe/ortofoto Sigpac dalla Spagna, ma p

  • CoverME Gratuito

    Software per la ricerca e il download di immagini di copertina dell'album. Cover di album musicali, DVD o Software

  • Essence 3D Game Engine Gratuito

    Essence è un motore di gioco 3D scritto in C ++ per le piattaforme Windows.Il motore è un toolkit efficiente ma facile da usare per gli sviluppatori che desiderano creare giochi, prototipi o visualizzazioni.Fornirà ai p

  • dvbpic Gratuito

    Dvbpic è un convertitore di immagini, codificatore e visualizzatore per schede dvb; puoi usarlo per guardare le immagini, come quelle scattate con la tua fotocamera digitale, sul televisore attraverso una scheda DVB supportat

  • Python Computer Graphics Kit Gratuito

    Il Python Computer Graphics Kit è una raccolta di moduli Python checontengono i tipi e le funzioni di base per poter creare un computer 3Dimmagini grafiche (concentrandosi sull'interfaccia RenderMan di Pixar).

  • Clay3D Gratuito

    Clay3D è una suite completa, estensibile e ricca di applicazioni scalabili e agnostiche di rete per la produzione di immagini generate al computer ed effetti visivi. Si prega di consultare la homepage per ulteriori informazio