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.).
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
- Categoria: Desenvolvimento > Outros
- Editor: www.tools.clearsy.com/index.php5?title=B-Compiler_Project
- Licença: Livre
- Preço: N/A
- Versão: 19.05.2009
- Plataforma: linux