Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. VDMJ

VDMJ

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 4.0/5 - ‎1 ‎Phiếu
Tải về

VDMJ cung cấp hỗ trợ công cụ cơ bản cho các ngôn ngữ đặc tả VDM-SL, VDM++ và VDM-RT, được viết bằng Java. Nó bao gồm một phân tích cú pháp, một kiểm tra loại, một thông dịch viên, một trình gỡ lỗi và một máy phát điện nghĩa vụ bằng chứng. Nó được sử dụng bởi dự án Nhật thực Overture.

lịch sử phiên bản

  • Phiên bản N/A đăng trên 2011-06-24
  • Phiên bản Jars đăng trên 2011-03-14
    Một số bản sửa lỗi và cập nhật

Chi tiết chương trình

Các chương trình liên quan

  • qgallery Miễn phí

    Chương trình này sẽ đi qua một cây thư mục, xử lý các tập tin hình ảnh jpeg để sản xuất gọn gàng và dễ dàng điều hướng phòng trưng bày hình ảnh HTML. qgallery sẽ tự động tạo ra hình thu nhỏ, ando cũng có thể ptionally thu

  • Multimedia Interface Library Miễn phí

    Nhiệm vụ của dự án này là tạo ra một tập hợp các thư viện và thành phần cho microsoft .net ngôn ngữ và ngôn ngữ mono cho đa phương tiện như âm thanh chơi đầu vào video và directx và opengl thư viện cơ sở, và kiểm soát để tạo

  • ImageFun Miễn phí

    ImageFun là một ứng dụng nhỏ có thể thay đổi nền của hình ảnh

  • ZH Mono Miễn phí

    một phông chữ monospaced bao gồm Inscriptional Pahlavi và Inscriptional Parthian (Xin lưu ý rằng Windows 7 không (chưa?) hỗ trợ hai phạm vi Unicode chính đại diện trong phông chữ này. Tuy nhiên, Windows XP và Windows Vista ho

  • vSigpac Miễn phí

    vSigpac là một trình xem bản đồ và một người sáng tạo đánh dấu / biên tập viên, địa hình và kết cấu máy phát điện cho MSTS (Microsoft Train Simulator (c)). vSigpac hoạt động chủ yếu với bản đồ Sigpac / orthophotos từ Tây Ban

  • CoverME Miễn phí

    Phần mềm để tìm kiếm và tải về hình ảnh bìa album. Bìa album nhạc, DVD hoặc Phần mềm

  • Essence 3D Game Engine Miễn phí

    Essence là một công cụ trò chơi 3d được viết bằng C++ cho các nền tảng Windows.Công cụ này là một bộ công cụ hiệu quả nhưng dễ sử dụng cho các nhà phát triển muốn tạo trò chơi, nguyên mẫu hoặc trực quan hóa.Nó sẽ cung c

  • dvbpic Miễn phí

    Dvbpic là một bộ chuyển đổi hình ảnh, bộ mã hóa và trình xem cho thẻ dvb; bạn có thể sử dụng nó để xem hình ảnh, giống như những người chụp bằng máy ảnh kỹ thuật số của bạn, trên tv của bạn thiết lập thông qua một thẻ DVB đượ

  • Python Computer Graphics Kit Miễn phí

    Bộ đồ họa máy tính Python là một tập hợp các mô-đun Pythonchứa các loại và chức năng cơ bản để có thể tạo máy tính 3Dhình ảnh đồ họa (tập trung vào giao diện RenderMan của Pixar).

  • Clay3D Miễn phí

    Clay3D là một bộ hoàn chỉnh, mở rộng, và tính năng phong phú của mạng agnostic, các ứng dụng có thể mở rộng để sản xuất máy tính tạo ra hình ảnh và hiệu ứng hình ảnh. Vui lòng xem trang chủ để biết thêm thông tin.