Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. B Compiler

B Compiler 19.05.2009

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.8/5 - ‎4 ‎Votes
Télécharger

Le compilateur B est un outil capable d’analyser les modèles B et d’effectuer une analyse syntaxique et sémantique. Il peut également être utilisé comme bibliothèque, lié à des applications manipulant des modèles B (référent croisé, générateur de code, générateur de documentation, etc.).

historique de la version

  • Version bcomp%20source%2019.05.2009 posté sur 2009-05-19
    Plusieurs correctifs et mises à jour
  • Version bcomp source 19.05.2009 posté sur 2009-05-19

Détails du programme

Programmes connexes

  • SEO - Keyword Checker Essai gratuit

    Analyser n’importe quelle page Web et vérifier les mots clés les plus utilisés

  • Finite State Machine Language Gratuit

    Une langue dans laquelle spécifier les machines d’état finies. Ces machines sont ensuite implémentées dans différentes langues, et même dans différents modèles dans ces langues, à travers le code généré par le fsmlang. En o

  • MVR Composer Gratuit

    The Multivariate Regression Composer, une boîte à outils Matlab. Il génère un modèle de régression de la structure optimale. Utilise l’ensemble de données source, les modèles initiaux et les fonctions primitives.

  • Design Pattern Automation Toolkit Gratuit

    Une boîte à outils pour concevoir des applications en utilisant des modèles de conception, avec installation pour générer du code, et l’ingénierie inverse. Installation Drag and Drop pour créer des diagrammes de classe UML Pr

  • Software Build System Gratuit

    Krypton est un outil de construction de logiciels qui applique un paradigme axé sur les artefacts à la construction par lequel l’accent est mis sur ce qui est construit plutôt que sur la façon dont il est construit. La biblio

  • MammoothLibrary Gratuit

    MammoothLibrary est une collection de classes C++, principalement conçues pour fournir un cadre portable multithreaded, avec des directives très simples à utiliser pour créer et gérer des fils et des prises. Le noyau est basé

  • codavaj - javadoc in reverse Gratuit

    codavaj - javadoc à l’envers. Un outil d’ingénierie inverse apparemment inutile pour transformer html javadoc en squelettes de fichiers source java - ou une réflexion api-like représentation interne.

  • yaf Gratuit

    yaf! signifie Encore un autre Fotoalbum! et est un autre script cgi album photo.

  • GuardX Antivirus Essai gratuit

    Vous avez peur que votre sur votre téléphone sera installé application malveillante ou vos données personnelles seront volés? Ensuite, utilisez GuardX. Il protège vos applications contre les logiciels malveillants et espion

  • Redmine Client Gratuit

    Redmine Client est un outil de bureau gratuit et opensource pour signaler le temps passé sur les questions et créer des problèmes dans le système de gestion de projet Redmine et une bibliothèque de fonctions encapsulant les f