Enviar software
  1. Casa
  2. Linux
  3. Otro
  4. B Compiler

B Compiler 19.05.2009

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 3.8/5 - ‎4 ‎Votos
Descargar

El compilador B es una herramienta capaz de analizar modelos B y realizar análisis sintaxis y semánticos. También se puede utilizar como biblioteca, vinculada a aplicaciones que manipulan modelos B (referenciador cruzado, generador de código, generador de documentación, etc.).

historial de versiones

  • Versión bcomp%20source%2019.05.2009 publicado en 2009-05-19
    Varias correcciones y actualizaciones
  • Versión bcomp source 19.05.2009 publicado en 2009-05-19

Detalles del programa

Programas relacionados

  • SEO - Keyword Checker Prueba gratuita

    Analiza cualquier página web y comprueba las palabras clave más utilizadas

  • Finite State Machine Language Gratis

    Idioma en el que se especifican máquinas de estado finito. Estas máquinas se implementan en diferentes idiomas, e incluso en diferentes modelos dentro de esos idiomas, a través del código generado por fsmlang. Además, una d

  • MVR Composer Gratis

    El Compositor de regresión multivariante, una caja de herramientas de Matlab. Genera un modelo de regresión de la estructura óptima. Utiliza el conjunto de datos de origen, los modelos iniciales y las funciones primitivas.

  • Design Pattern Automation Toolkit Gratis

    Un kit de herramientas para diseñar aplicaciones utilizando patrones de diseño, con facilidad para generar código e ingeniería inversa. Instalación de arrastrar y soltar para crear diagramas de clases UML Soporte para escribi

  • Software Build System Gratis

    Krypton es una herramienta de compilación de software que aplica un paradigma orientado a artefactos a la compilación mediante el cual el enfoque está en lo que se construye en lugar de cómo se construye. La biblioteca estánd

  • MammoothLibrary Gratis

    MammoothLibrary es una colección de clases de C++, diseñadas principalmente para proporcionar un marco portátil multiproceso, con directivas muy sencillas de usar para crear y administrar subprocesos y sockets. El núcleo se b

  • codavaj - javadoc in reverse Gratis

    codavaj - javadoc a la inversa. Una herramienta de ingeniería inversa aparentemente inútil para transformar HTML javadoc en esqueletos de archivos de origen java - o una representación interna similar a una api de reflexión.

  • yaf Gratis

    yaf! significa ¡Otro Fotoalbum! y es otro álbum de fotos CGI script.

  • GuardX Antivirus Prueba gratuita

    ¿Tiene miedo de que su en su teléfono se instalará aplicación maliciosa o sus datos personales serán robados? A continuación, utilice GuardX. Protege sus aplicaciones de software malintencionado y spyware. Usando GuardX su

  • Redmine Client Gratis

    Redmine Client es una herramienta de escritorio gratuita y de código abierto para informar del tiempo dedicado a problemas y crear problemas en el sistema de gestión de proyectos de Redmine y una biblioteca de funciones que e