Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. VDMJ

VDMJ

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 4.0/5 - ‎1 ‎Głosów
Pobierz

VDMJ zapewnia podstawową obsługę narzędzi dla języków specyfikacji VDM-SL, VDM++ i VDM-RT, napisanych w języku Java. Zawiera analizator, kontroler typów, interpreter, debuger i generator obowiązku dowodu. Jest on używany przez projekt zaćmienie Uwertura.

historia wersji

  • Wersja N/A opublikowany na 2011-06-24
  • Wersja Jars opublikowany na 2011-03-14
    Kilka poprawek i aktualizacji

Szczegóły programu

Programy pokrewne

  • qgallery Wolna

    Ten program będzie przechodzić przez drzewo katalogów, przetwarzania plików obrazów JPEG do produkcji schludny i łatwo nawigować galerie obrazów HTML. qgallery automatycznie wygeneruje miniatury, ao może również zmniejszy

  • Multimedia Interface Library Wolna

    Misją tego projektu jest stworzenie zestawu bibliotek i komponentów dla języków microsoft .net i języków mono dla multimediów, takich jak odtwarzanie dźwięku wideo i biblioteki obiektów directx i opengl, a także kontrola w ce

  • ImageFun Wolna

    ImageFun to mała aplikacja, która może zmieniać tło obrazu

  • ZH Mono Wolna

    czcionka monospaced obejmująca Napisy Pahlavi i Napisy Parthian (Należy pamiętać, że Windows 7 nie obsługuje (jeszcze?) obsługuje dwa główne zakresy Unicode reprezentowane w tej czcionce. Jednak systemy Windows XP i Windows V

  • vSigpac Wolna

    vSigpac jest przeglądarką map i twórcą znaczników / edytorem, generatorem terenu i tekstur dla MSTS (Microsoft Train Simulator (c)). vSigpac działa głównie z mapami Sigpac / ortophotos z Hiszpanii, ale może współpracować z in

  • CoverME Wolna

    Oprogramowanie do wyszukiwania i pobierania zdjęć okładek albumu. Okładki albumów muzycznych, dvd lub oprogramowania

  • Essence 3D Game Engine Wolna

    Essence to silnik gry 3D napisany w języku C++ dla platform Windows.Silnik jest wydajnym, ale łatwym w użyciu zestawem narzędzi dla programistów, którzy chcą tworzyć gry, prototypy lub wizualizacje.Zapewni programistom

  • dvbpic Wolna

    Dvbpic jest konwerter obrazu, koder i przeglądarka dla dvb-karty; można go używać do oglądania zdjęć, takich jak te zrobione aparatem cyfrowym, na telewizorze przez kartę DVB obsługiwaną przez sterownik Linux dvb.

  • Python Computer Graphics Kit Wolna

    Python Computer Graphics Kit to zbiór modułów Pythona, którepodstawowe typy i funkcje, aby móc tworzyć komputer 3Dobrazów graficznych (koncentrując się na interfejsie RenderMan firmy Pixar).

  • Clay3D Wolna

    Clay3D to kompletny, rozszerzalny i bogaty w funkcje pakiet agnostycznych sieci, skalowalnych aplikacji do produkcji obrazów generowanych komputerowo i efektów wizualnych. Więcej informacji można znaleźć na stronie głównej.