Invia software
  1. Casa
  2. Linux
  3. Altro
  4. B Compiler

B Compiler 19.05.2009

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.8/5 - ‎4 ‎Voti
Scaricare

Il compilatore B è uno strumento in grado di analizzare i modelli B ed eseguire analisi sintassiche e semantiche. Può anche essere utilizzato come libreria, collegato ad applicazioni che manipolano modelli B (cross referencer, generatore di codice, generatore di documentazione, ecc.).

cronologia delle versioni

  • Versione bcomp%20source%2019.05.2009 pubblicato il 2009-05-19
    Diverse correzioni e aggiornamenti
  • Versione bcomp source 19.05.2009 pubblicato il 2009-05-19

Dettagli del programma

Programmi correlati

  • SEO - Keyword Checker Prova gratuita

    Analizzare qualsiasi pagina Web e verificare la presenza delle parole chiave più utilizzate

  • Finite State Machine Language Gratuito

    Linguaggio in cui specificare macchine a stati finiti. Queste macchine vengono quindi implementate in linguaggi diversi, e anche in diversi modelli all'interno di tali linguaggi, attraverso il codice generato da fsmlang. In

  • MVR Composer Gratuito

    Il compositore di regressione multivariata, una cassetta degli attrezzi Matlab. Genera un modello di regressione della struttura ottimale. Utilizza il set di dati di origine, i modelli iniziali e le funzioni primitive.

  • Design Pattern Automation Toolkit Gratuito

    Un toolkit per progettare applicazioni utilizzando modelli di progettazione, con la possibilità di generare codice e il reverse engineering. Funzione di trascinamento della selezione per creare diagrammi di classe UML Support

  • Software Build System Gratuito

    Krypton è uno strumento di costruzione software che applica un paradigma orientato agli artefatti alla build in cui l'attenzione è rivolta a ciò che è costruito piuttosto che a come è costruito. La libreria standard di Krypto

  • MammoothLibrary Gratuito

    MammoothLibrary è una raccolta di classi C++, progettata principalmente per fornire un framework portatile multithreaded, con direttive molto semplici da usare per creare e gestire thread e socket. Il nucleo si basa sul model

  • codavaj - javadoc in reverse Gratuito

    codavaj - javadoc al contrario. Uno strumento di reverse engineering apparentemente inutile per trasformare html javadoc in ossature di file di origine java - o una rappresentazione interna simile a un'API di riflessione.

  • yaf Gratuito

    Yaf! sta per Yet Another Fotoalbum! ed è un altro album fotografico CGI script.

  • GuardX Antivirus Prova gratuita

    Hai paura che il tuo sul tuo telefono venga installato un'applicazione dannosa o che i tuoi dati personali verranno rubati? Quindi, usa GuardX. Protegge le applicazioni da dannosi e spyware. Utilizzando GuardX il telefono è

  • Redmine Client Gratuito

    Redmine Client è uno strumento desktop gratuito e opensource per segnalare il tempo dedicato ai problemi e creare problemi nel redmine Project Management System e una libreria di funzioni che incapsulano le funzionalità di Re