Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. ACM code generator

ACM code generator 1.0

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.0/5 - ‎2 ‎votos
Baixar

A ACMgen é um gerador automático de códigos dos Mecanismos de Comunicações Assíncronos baseados na geração de modelos de redes Petri que podem ser verificados formalmente contra algumas propriedades e depois transformados numa implementação real (por exemplo.C++ ou Verilog).

história da versão

  • Versão 1.0 postado em 2008-03-10
    Várias correções e atualizações
  • Versão 1.0 postado em 2008-03-10

Detalhes do programa

Programas Relacionados

  • Jump from SOAP to REST with WSDL2REST Grátis

    Uma cadeia de ferramentas que permite a migração rápida da implementação de serviços web da SOAP existentes para a implementação de webservices RESTful, utilizando a definição de eixo wSDL juntamente com os serviços impl. cla

  • DOSBox Launch Pad Grátis

    Configurar a DOSBox pode ser um pouco assustador, por isso decidi escrever um projeto VB.Net que forneceu um GUI para controlar as inúmeras entradas nos ficheiros DOSBox .conf.

  • DMG Automounter for Linux Grátis

    DMG Automounter é um script nautilus que permite que qualquer distribuição de Linux para montar um ficheiro Mac OS X .dmg (mas não instalá-lo, uma vez que isso exigiria as APIs Mac OS X que são fonte fechada). A README tem in

  • APEX Imaging Spectrometer Tools Grátis

    APEX Tools é uma coleção de utilitários usados em conjunto com o processamento de dados hiperespectrais desenvolvidos para o Prism EXperiment EXperiment (APEX) suportado pela ESA-Prodex.

  • MGP Grátis

    O plugin Maven GWT é utilizado para compilar ficheiros de origem JavaScript a partir da fonte Java. O plugin executa o GWTCompiler, permite configurar opções de compilador, deteta automaticamente a localização de ficheiros de

  • PHP Toolbox Grátis

    PhP Toolbox é projetado para fazer o processo de criação de base de dados alimentadosites mais fáceis. Utiliza o desenvolvimento iterativo ou passo a passoparadigma. A funcionalidade principal é tratada por classes de tab

  • Java Modeling Language (JML) Grátis

    O Java Modeling Language (JML) é uma linguagem de especificação de interface comportamental que pode ser usada para especificar o comportamento dos módulos Java (como no design por contrato -- DBC). Tem muitas ferramentas par

  • Sample YouTube Player Grátis

    App de amostra para projeto de github simpleYouTubePlayerhttps://github.com/TheFinestArtist/SimpleYouTubePlayerManuseias de ação do YouTubePlayerProblema de orientação (com modo de rotação automática)Rotação auto

  • Gelide Grátis

    Gelide é um frontend configurável que permite gerir qualquer tipo de sistema emulado (arcade, consola, PC, etc) permitindo-lhe catalogar e lançar qualquer jogo de qualquer emulador existente sob GNU/Linux.

  • HMI User Control Grátis

    (EN) O objetivo do projeto De Controlo de Utilizadores é fazer com que poucos Controlos de Utilizador para interface do sistema PLC para a construção de aplicações HMI Under Win32. Toda a cooperação será muito apreciada. (IT)