Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. ACM code generator

ACM code generator 1.0

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

ACMgen to automatyczny generator kodów asynchronicznych mechanizmów komunikacyjnych oparty na generowaniu modeli sieci Petriego, które można formalnie zweryfikować pod pewnymi właściwościami, a następnie przekształcić w rzeczywistą implementację (np.C++ lub Verilog).

historia wersji

  • Wersja 1.0 opublikowany na 2008-03-10
    Kilka poprawek i aktualizacji
  • Wersja 1.0 opublikowany na 2008-03-10

Szczegóły programu

Programy pokrewne

  • Jump from SOAP to REST with WSDL2REST Wolna

    Łańcuch narzędzi umożliwiający szybką migrację z istniejącej implementacji usług sieci web SOAP do implementacji usług internetowych RESTful przy użyciu axisting defintion WSDL wraz z usług impl. Klasy. (dev. przez grupę http

  • DOSBox Launch Pad Wolna

    Konfigurowanie DOSBox może być nieco trudne, więc postanowiłem napisać projekt VB.Net, który dostarczył GUI do kontrolowania licznych wpisów w plikach DOSBox .conf.

  • DMG Automounter for Linux Wolna

    DMG Automounter to skrypt nautilus, który umożliwia każdej dystrybucji Linuksa do montażu pliku .dmg Mac OS X (ale nie zainstalować go, ponieważ wymagałoby to Mac OS X API, które są zamkniętym źródłem). README ma całą instruk

  • APEX Imaging Spectrometer Tools Wolna

    APEX Tools to zbiór narzędzi wykorzystywanych w połączeniu z przetwarzaniem danych hiperspektralnych w powietrzu opracowanych dla wspieranego przez ESA-Prodex airborne Prism EXperiment (APEX).

  • MGP Wolna

    Wtyczka Maven GWT służy do kompilowania plików źródłowych JavaScript ze źródła Java. Wtyczka uruchamia GWTCompiler, pozwala skonfigurować opcje kompilatora, automatycznie wykrywa lokalizację plików źródłowych i zasobów. Nie w

  • PHP Toolbox Wolna

    PHP Toolbox został zaprojektowany, aby proces tworzenia baz danychstron internetowych. Wykorzystuje iteracyjny lub krok po kroku rozwojuParadygmat. Główne funkcje są obsługiwane przez zaawansowane klasy tabeli/formularza

  • Java Modeling Language (JML) Wolna

    Język modelowania Java (JML) to język specyfikacji interfejsu behawioralnego, który może służyć do określania zachowania modułów Java (tak jak w projekcie według umowy - DBC). Ma wiele narzędzi do sprawdzania asercji, testowa

  • Sample YouTube Player Wolna

    Przykładowa aplikacja dla projektu Github SimpleYouTubePlayerhttps://github.com/TheFinestArtist/SimpleYouTubePlayerUchwyty YouTubePlayerActivityProblem z orientacją (z trybem automatycznego obracania)Automatyczne

  • Gelide Wolna

    Gelide to konfigurowalna płyta frontowa, która pozwala zarządzać dowolnym systemem emulowanym (arcade, konsola, PC itp.), pozwalając na katalogowanie i uruchamianie dowolnej gry z dowolnego istniejącego emulatora pod GNU/Linu

  • HMI User Control Wolna

    (PL) Celem projektu User Control jest stworzenie kilku elementów sterujących przez użytkownika do interfejsu systemu PLC do kompilacji aplikacji HMI Under Win32. Każda współpraca będzie bardzo ceniona. (IT) L'obiettivo del pr