Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. B Compiler
  5. Download

B Compiler 19.05.2009

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

Sobre B Compiler

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

Programas Relacionados

  • SEO - Keyword Checker Avaliação gratuita

    Analise qualquer página da Web e verifique as palavras-chave mais usadas

  • Finite State Machine Language Livre

    Uma linguagem para especificar máquinas de estado finita. Essas máquinas são então implementadas em diferentes idiomas, e até mesmo em modelos diferentes dentro dessas línguas, através de código gerado pelo fsmlang. Além di

  • MVR Composer Livre

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

  • Design Pattern Automation Toolkit Livre

    Um kit de ferramentas para projetar aplicações usando padrões de design, com facilidade para gerar código e engenharia reversa. Instalação de arrastar e soltar para criar diagramas classe UML Suporte para escrever plug-ins pe

  • Software Build System Livre

    Krypton é uma ferramenta de construção de software que aplica um paradigma orientado a artefatos à construção em que o foco está no que é construído em vez de como ele é construído. A biblioteca padrão da Krypton fornece supo

  • MammoothLibrary Livre

    O MammoothLibrary é uma coleção de classes C++, projetadas principalmente para fornecer uma estrutura portátil multithreaded, com diretrizes muito simples de usar para criar e gerenciar fios e soquetes. O núcleo é baseado no

  • codavaj - javadoc in reverse Livre

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

  • yaf Livre

    Yaf! significa Mais um Fotoalbum! e é outro álbum de fotos CGI script.

  • GuardX Antivirus Avaliação gratuita

    Você tem medo que seu aplicativo de uso malicioso seja instalado ou seus dados pessoais sejam roubados? Então, use GuardX. Ele protege seus aplicativos contra produtos maliciosos e spyware. Usando o GuardX seu telefone semp

  • Redmine Client Livre

    Redmine Client é uma ferramenta de desktop gratuita e de código aberto para relatar o tempo gasto em problemas e criar problemas no Redmine Project Management System e uma biblioteca de funções encapsulando os recursos do Red