Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. ACM code generator

ACM code generator 1.0

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

ACMgen là một máy phát điện mã tự động của cơ chế truyền thông không đồng bộ dựa trên việc tạo ra các mô hình lưới Petri có thể được chính thức xác minh đối với một số thuộc tính và sau đó chuyển thành một thực hiện thực tế (ví dụ.C ++ hoặc Verilog).

lịch sử phiên bản

  • Phiên bản 1.0 đăng trên 2008-03-10
    Một số bản sửa lỗi và cập nhật
  • Phiên bản 1.0 đăng trên 2008-03-10

Chi tiết chương trình

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

  • Jump from SOAP to REST with WSDL2REST Miễn phí

    Một chuỗi công cụ cho phép di chuyển nhanh chóng từ việc triển khai dịch vụ web SOAP hiện có để thực hiện dịch vụ web RESTful bằng cách sử dụng định nghĩa WSDL trục cùng với các dịch vụ impl. Lớp học. (dev. bởi một nhóm http:

  • DOSBox Launch Pad Miễn phí

    Cấu hình DOSBox có thể là một chút khó khăn, vì vậy tôi quyết định viết một dự án VB.Net cung cấp một GIAO DIỆN để kiểm soát nhiều mục trong các tập tin DOSBox .conf.

  • DMG Automounter for Linux Miễn phí

    DMG Automounter là một kịch bản nautilus cho phép bất kỳ phân phối của Linux để gắn kết một tập tin Mac OS X .dmg (nhưng không cài đặt nó, vì điều đó sẽ yêu cầu mac OS X API được đóng nguồn). README có toàn bộ hướng dẫn cài đ

  • APEX Imaging Spectrometer Tools Miễn phí

    APEX Tools là một tập hợp các tiện ích được sử dụng kết hợp với việc xử lý dữ liệu siêu phổ trong không khí được phát triển cho EXperiment Lăng kính trong không khí được hỗ trợ ESA-Prodex (APEX).

  • MGP Miễn phí

    Plugin Maven GWT được sử dụng để biên dịch các tệp nguồn JavaScript từ nguồn Java. Plugin chạy GWTCompiler, cho phép cấu hình các tùy chọn trình biên dịch, tự động phát hiện vị trí tệp nguồn và tài nguyên. Không yêu cầu cài đ

  • PHP Toolbox Miễn phí

    PHP Toolbox được thiết kế để làm cho quá trình tạo ra cơ sở dữ liệu hỗ trợcác trang web dễ dàng hơn. Nó sử dụng sự phát triển lặp đi lặp lại hoặc từng bướcMô hình. Chức năng chính được xử lý bởi các lớp Bảng /Biểu mẫu mạn

  • Java Modeling Language (JML) Miễn phí

    Ngôn ngữ mô hình Java (JML) là một ngôn ngữ đặc tả giao diện hành vi có thể được sử dụng để xác định hành vi của các mô-đun Java (như trong thiết kế theo hợp đồng -- DBC). Nó có nhiều công cụ để kiểm tra khẳng định, kiểm tra

  • Sample YouTube Player Miễn phí

    Ứng dụng mẫu cho dự án github SimpleYouTubePlayerhttps://github.com/TheFinestArtist/SimpleYouTubePlayerNúm điều khiển Hoạt động của YouTubePlayerVấn đề Định hướng (với chế độ Xoay Tự động)Bật tự động xoay: Bạn có

  • Gelide Miễn phí

    Gelide là một lối vào có thể cấu hình cho phép bạn quản lý bất kỳ loại hệ thống mô phỏng nào (arcade, console, PC, v.v.) cho phép bạn lập danh mục và khởi chạy bất kỳ trò chơi nào từ bất kỳ trình mô phỏng hiện có nào theo GNU

  • HMI User Control Miễn phí

    (EN) Mục tiêu của dự án kiểm soát người dùng là để làm cho vài điều khiển người dùng để giao diện hệ thống PLC để xây dựng ứng dụng HMI Dưới Win32. Mọi sự hợp tác sẽ được đánh giá rất cao. Tôi có thể làm được mà. L'obiettivo