Software einreichen
  1. Startseite
  2. Linux
  3. Andere
  4. B Compiler

B Compiler 19.05.2009

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 3.8/5 - ‎4 ‎Stimmen
Herunterladen

Der B-Compiler ist ein Tool, das In der Lage ist, B-Modelle zu analysieren und Syntax- und Semantikanalysen durchzuführen. Es kann auch als Bibliothek verwendet werden, verbunden mit Anwendungen, die B-Modelle manipulieren (Querverweis, Codegenerator, Dokumentationsgenerator, etc.).

VERSIONSVERLAUF

  • Version bcomp%20source%2019.05.2009 veröffentlicht auf 2009-05-19
    Mehrere Korrekturen und Updates
  • Version bcomp source 19.05.2009 veröffentlicht auf 2009-05-19

Programmdetails

Verwandte Programme

  • SEO - Keyword Checker Kostenlose Testversion

    Analysieren Sie jede Webseite und überprüfen Sie, ob keywords am häufigsten verwendet werden.

  • Finite State Machine Language kostenlos

    Eine Sprache, in der Finite State Machines angegeben werden soll. Diese Maschinen werden dann in verschiedenen Sprachen und sogar in verschiedenen Modellen innerhalb dieser Sprachen implementiert, durch Code, der von fsmlang

  • MVR Composer kostenlos

    Der Multivariate Regression Composer, eine Matlab-Toolbox. Es erzeugt ein Regressionsmodell der optimalen Struktur. Verwendet den Quelldatensatz, die Anfangsmodelle und die primitiven Funktionen.

  • Design Pattern Automation Toolkit kostenlos

    Ein Toolkit zum Entwerfen von Anwendungen mithilfe von Entwurfsmustern, mit der Möglichkeit, Code zu generieren, und Reverse Engineering. Drag & Drop-Funktion zum Erstellen von UML-Klassendiagrammen Unterstützung zum Schr

  • Software Build System kostenlos

    Krypton ist ein Software-Build-Tool, das ein Artefakt-orientiertes Paradigma auf den Build anwendet, wobei der Fokus auf dem liegt, was gebaut wird, anstatt wie es gebaut wird. Kryptons Standardbibliothek bietet Unterstützung

  • MammoothLibrary kostenlos

    MammoothLibrary ist eine Sammlung von C++-Klassen, die hauptsächlich für die Bereitstellung eines tragbaren Multithread-Frameworks mit sehr einfach zu bedienenden Direktiven zum Erstellen und Verwalten von Threads und Sockets

  • codavaj - javadoc in reverse kostenlos

    codavaj - javadoc in umgekehrter Richtung. Ein scheinbar nutzloses Reverse Engineering-Tool, um HTML-Javadoc in Java-Quelldateiskelette umzuwandeln - oder eine reflektionsapiartige interne Darstellung.

  • yaf kostenlos

    yaf! steht für Yet Another Fotoalbum! und ist ein weiteres Fotoalbum CGI-Skript.

  • GuardX Antivirus Kostenlose Testversion

    Sie haben Angst, dass Ihr auf Ihrem Telefon installiert wird bösartige Anwendung oder Ihre persönlichen Daten gestohlen werden? Verwenden Sie dann GuardX. Es schützt Ihre Anwendungen vor böswilliger und Spyware. Mit GuardX

  • Redmine Client kostenlos

    Redmine Client ist ein kostenloses Open-Source-Desktop-Tool für die Meldung von Zeitaufwand für Probleme und das Erstellen von Problemen im Redmine Project Management System und einer Bibliothek von Funktionen, die die Funkti