Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. B Compiler

B Compiler 19.05.2009

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

O compilador B é uma ferramenta capaz de analisar modelos B e realizar análises sináxiicas e semânticas. Também pode ser usado como biblioteca, ligada a aplicações que manipulam modelos B (referenciador transversal, gerador de código, gerador de documentação, etc.).

história da versão

  • Versão bcomp%20source%2019.05.2009 postado em 2009-05-19
    Várias correções e atualizações
  • Versão bcomp source 19.05.2009 postado em 2009-05-19

Detalhes do programa

Programas Relacionados

  • SEO - Keyword Checker Julgamento Gratuito

    Analise qualquer página web e verifique as palavras-chave mais utilizadas

  • Finite State Machine Language Grátis

    Uma língua para especificar máquinas estatais finitas. Estas máquinas são então implementadas em diferentes línguas, e mesmo em diferentes modelos dentro dessas línguas, através do código gerado pelo fsmlang. Além disso, um

  • MVR Composer Grátis

    O Multivariate Regression Composer, uma caixa de ferramentas Matlab. Gera um modelo de regressão da estrutura ideal. Utiliza o conjunto de dados de origem, os modelos iniciais e as funções primitivas.

  • Design Pattern Automation Toolkit Grátis

    Um kit de ferramentas para desenhar aplicações usando padrões de design, com facilidade para gerar código, e engenharia inversa. Instalações Drag and Drop para criar diagramas da classe UML Suporte para escrever plug-ins pers

  • Software Build System Grátis

    Krypton é uma ferramenta de construção de software que aplica um paradigma orientado a artefactos para a construção, pelo que o foco está no que é construído e não na forma como é construído. A biblioteca padrão de Krypton fo

  • MammoothLibrary Grátis

    MammoothLibrary é uma coleção de classes C++, projetadas principalmente para fornecer uma estrutura portátil multi-lífera, com diretivas muito simples de usar para criar e gerir fios e tomadas. O núcleo baseia-se no modelo SC

  • codavaj - javadoc in reverse Grátis

    codavaj - javadoc ao contrário. Uma ferramenta de engenharia inversa aparentemente inútil para transformar o javadoc HTML em esqueletos de arquivo de fonte de java - ou uma representação interna semelhante a um api de reflexã

  • yaf Grátis

    Yaf! significa Mais Um Fotoalbum! e é outro álbum de fotos do guião do CGI.

  • GuardX Antivirus Julgamento Gratuito

    Teme que o seu telemóvel seja instalado numa aplicação maliciosa ou que os seus dados pessoais sejam roubados? Então, use o GuardX. Protege as suas aplicações de software malicioso e spyware. Utilizando o GuardX, o seu tele

  • Redmine Client Grátis

    O Redmine Client é uma ferramenta de ambiente de trabalho gratuita e de opensource para reportar o tempo gasto em questões e criar problemas no Sistema de Gestão de Projetos Redmine e uma biblioteca de funções que englobam as