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

ACM code generator 1.0

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.0/5 - ‎2 ‎Votos
Download

ACMgen é um gerador automático de código de Mecanismos de Comunicações Assíncronos baseado na geração de modelos de redes Petri que podem ser formalmente verificados contra algumas propriedades e, em seguida, transformados em uma 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 Livre

    Uma cadeia de ferramentas que permite a migração rápida da implementação de serviços web soap existentes para a implementação de webservices RESTful usando a definação de eixos WSDL juntamente com os serviços impl. Classes. (

  • DOSBox Launch Pad Livre

    Configurar o DOSBox pode ser um pouco assustador, então decidi escrever um projeto VB.Net que forneceu uma GUI para controlar as inúmeras entradas nos arquivos DOSBox .conf.

  • DMG Automounter for Linux Livre

    DMG Automounter é um script nautilus que permite qualquer distribuição do Linux para montar um arquivo Mac OS X .dmg (mas não instalá-lo, já que isso exigiria as APIs Mac OS X que são de origem fechada). ReadME tem instruções

  • APEX Imaging Spectrometer Tools Livre

    APEX Tools é uma coleção de utilitários usados em conjunto com o processamento de dados hiperespectrais transportados pelo ar desenvolvidos para o ESA-Prodex suportado Pelo Prisma Aéreo (APEX).

  • MGP Livre

    O plugin Maven GWT é usado para compilar arquivos de origem JavaScript da fonte Java. O plugin executa o GWTCompiler, permite configurar opções de compiladores, detecta automaticamente a localização dos arquivos de origem e r

  • PHP Toolbox Livre

    O PHP Toolbox foi projetado para tornar o processo de criação alimentado por banco de dadossites mais fáceis. Ele utiliza o desenvolvimento iterativo ou passo a passoParadigma. A principal funcionalidade é tratada por pod

  • Java Modeling Language (JML) Livre

    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 em design por contrato -- DBC). Ele tem muitas ferramentas

  • Sample YouTube Player Livre

    Aplicativo de exemplo para o projeto github SimpleYouTubePlayerhttps://github.com/TheFinestArtist/SimpleYouTubePlayerYouTubePlayerActivity HandlesProblema de orientação (com o modo de rotação automática)Rotação a

  • Gelide Livre

    Gelide é um frontend configurável que permite gerenciar qualquer tipo de sistema emulado (arcade, console, PC, etc) permitindo que você cataloge e inicie qualquer jogo de qualquer emulador existente sob GNU/Linux.

  • HMI User Control Livre

    (EN) O objetivo do projeto Controle do Usuário é fazer com que poucos controles de usuário interface sistema PLC para a compilação de aplicativos HMI sob Win32. Toda cooperação será muito apreciada. (TI) L'obiettivo del proge