Invia software
  1. Casa
  2. Linux
  3. Altro
  4. ACM code generator

ACM code generator 1.0

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.0/5 - ‎2 ‎Voti
Scaricare

ACMgen è un generatore automatico di codici di meccanismi di comunicazione asincroni basato sulla generazione di modelli di reti di Petri che può essere formalmente verificato rispetto ad alcune proprietà e quindi trasformato in un'implementazione reale (ad esempio.C++ o Verilog).

cronologia delle versioni

  • Versione 1.0 pubblicato il 2008-03-10
    Diverse correzioni e aggiornamenti
  • Versione 1.0 pubblicato il 2008-03-10

Dettagli del programma

Programmi correlati

  • Jump from SOAP to REST with WSDL2REST Gratuito

    Catena di strumenti che consente una migrazione rapida dall'implementazione dei servizi Web SOAP esistente all'implementazione dei servizi Web RESTful utilizzando axisting WSDL defintion insieme ai servizi impl. Classi. (svil

  • DOSBox Launch Pad Gratuito

    La configurazione di DOSBox può essere un po 'scoraggiante, quindi ho deciso di scrivere un progetto VB.Net che fornisse una GUI per controllare le numerose voci nei file CONF di DOSBox.

  • DMG Automounter for Linux Gratuito

    DMG Automounter è uno script nautilus che consente a qualsiasi distribuzione di Linux di montare un file mac OS X .dmg (ma non installarlo, poiché ciò richiederebbe le API Di Mac OS X che sono closed source). README ha intere

  • APEX Imaging Spectrometer Tools Gratuito

    APEX Tools è una raccolta di utilità utilizzate in combinazione con l'elaborazione di dati iperspettrali aerotrasportati sviluppati per l'Esa-Prodex supportato Airborne Prism EXperiment (APEX).

  • MGP Gratuito

    Il plugin Maven GWT viene utilizzato per compilare file di origine JavaScript dall'origine Java. Il plugin esegue GWTCompiler, consente di configurare le opzioni del compilatore, rileva automaticamente il percorso dei file di

  • PHP Toolbox Gratuito

    PHP Toolbox è progettato per rendere il processo di creazione basato su databasesiti web più facilmente. Utilizza lo sviluppo iterativo o passo dopo passoParadigma. La funzionalità principale è gestita da potenti classi T

  • Java Modeling Language (JML) Gratuito

    Il Java Modeling Language (JML) è un linguaggio di specifica di interfaccia comportamentale che può essere utilizzato per specificare il comportamento dei moduli Java (come nella progettazione per contratto -- DBC). Ha molti

  • Sample YouTube Player Gratuito

    App di esempio per il progetto github SimpleYouTubePlayerhttps://github.com/TheFinestArtist/SimpleYouTubePlayerHandle YouTubePlayerActivityProblema di orientamento (con modalità rotazione automatica)Rotazione aut

  • Gelide Gratuito

    Gelide è un frontend configurabile che ti consente di gestire qualsiasi tipo di sistema emulato (arcade, console, PC, ecc.) permettendoti di catalogare e lanciare qualsiasi gioco da qualsiasi emulatore esistente sotto GNU / L

  • HMI User Control Gratuito

    Signor Presidente, signor Presidente, signor Presidente in una relazione L'obiettivo del progetto User Control è quello di fare in modo che pochi controlli utente interfacciano il sistema PLC alla build dell'applicazione HMI