Отправить программное обеспечение
  1. Дома
  2. Linux
  3. Других
  4. ACM code generator

ACM code generator 1.0

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 3.0/5 - ‎2 ‎Голосов
Скачать

ACMgen является автоматическим генератором кода асинхронных механизмов связи, основанных на генерации моделей сетей Петри, которые могут быть официально проверены на некоторые свойства, а затем преобразованы в реальную реализацию (например.C или Verilog).

история версии

  • Версия 1.0 размещено на 2008-03-10
    Несколько исправлений и обновлений
  • Версия 1.0 размещено на 2008-03-10

Подробная информация о программе

Похожие программы

  • Jump from SOAP to REST with WSDL2REST Бесплатный

    Цепочка инструментов, позволяющая быстро переработать из существующей реализации веб-сервисов SOAP в реализацию веб-сервисов RESTful, используя ось WSDL-определения вместе с службами impl. Классы. (dev. группой http://tech.gr

  • DOSBox Launch Pad Бесплатный

    Настройка DOSBox может быть немного сложной, поэтому я решил написать проект VB.Net, который предоставил графический интерфейс для управления многочисленными записями в файлах DOSBox .conf.

  • DMG Automounter for Linux Бесплатный

    DMG Automounter — это скрипт nautilus, который позволяет любому дистрибутиву Linux монтировать файл Mac OS X .dmg (но не устанавливать его, так как для этого потребуется API Mac OS X, которые являются закрытым исходным кодом)

  • APEX Imaging Spectrometer Tools Бесплатный

    APEX Tools представляет собой набор утилит, используемых в сочетании с обработкой воздушно-капельным путем гиперспектральных данных, разработанных для ESA-Prodex поддерживается Воздушно-десантных Prism EXperiment (APEX).

  • MGP Бесплатный

    Плагин Maven GWT используется для компиляции исходных файлов JavaScript из источника Java. Плагин работает GWTCompiler, позволяет настроить параметры компилятора, автоматически обнаруживает местоположение исходных и ресурсных

  • PHP Toolbox Бесплатный

    PhP Toolbox разработан, чтобы сделать процесс создания базы данных питаниемвеб-сайты проще. Он использует итеративное или пошаговую разработкуПарадигмы. Основная функциональность обрабатывается мощными классами таблицы/фо

  • Java Modeling Language (JML) Бесплатный

    Язык моделирования Java (JML) — это язык спецификации поведенческого интерфейса, который может быть использован для уточнения поведения модулей Java (как в дизайне по контракту -- DBC). Он имеет много инструментов, чтобы сдел

  • Sample YouTube Player Бесплатный

    Пример приложения для проекта SimpleYouTubePlayer githubhttps://github.com/TheFinestArtist/SimpleYouTubePlayerРучки для YouTubePlayerActivityОриентация Проблема (с режимом автоматического вращения)Автоматическое

  • Gelide Бесплатный

    Gelide является настраиваемым интерфейсом, который позволяет управлять любой эмулируемой системой (аркада, консоль, ПК и т.д.), позволяя вам каталогизировать и запускать любую игру из любого существующего эмулятора под GNU/Li

  • HMI User Control Бесплатный

    (EN) Я не Цель проекта управления пользователями состоит в том, чтобы сделать несколько пользовательских элементов управления интерфейсом системы PLC для создания приложений HMI под Win32. Каждое сотрудничество будет высоко о