Invia software
  1. Casa
  2. Linux
  3. Altro
  4. The PEP tool

The PEP tool 2.0b

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

PEP è un framework di modellazione e verifica per sistemi paralleli, che fornisce un gran numero di linguaggi di modellazione e tecniche di verifica diversi (ad esempio SDL, reti di Petri e controllo dei modelli)

cronologia delle versioni

  • Versione 2.0beta4 pubblicato il 2004-09-13
    Diverse correzioni e aggiornamenti
  • Versione 2.0beta4 pubblicato il 2004-09-13

Dettagli del programma

Programmi correlati

  • JDPF Gratuito

    Questo programma è un software open source gratuito sia per uso personale che commerciale, quindi la scelta perfetta per coloro che desiderano un'alternativa per programmi a pagamento più noti.

  • VDK Library Gratuito

    VDK Library è un framework in C++ che associa librerie GUI GTK+, fornito sia per Linux che per Windows è stata una libreria di base per il progetto VDKBuilder. Recentemente il progetto è stato diviso e VDK continua lo svilupp

  • Efes Gratuito

    Implementazione dello schema basato su bytecode (R^5RS). Veloce, compatto, stabile, adatto all'educazione e alla sperimentazione.

  • Light Torch Flash Widget Pro Gratuito

    Widget per accendere/spegnere il led della fotocamera (flash) con un solo clic. Utile come torcia.

  • Ayra - VCL Report Generator Gratuito

    Un'applicazione di progettazione di report e generatore scritta in Delphi, con un progettista di report WYSIWYG, un componente VCL per la generazione di report, valido per Delphi 5-2006 e una piccola applicazione CommandLine

  • ES32 - EEG Analysis Gratuito

    ES32 è un programma windows per l'analisi dei file di dati EEG come prodotto dall'applicazione NEUROSCAN (tm) Acquire.

  • LJOS - Java and database integration Gratuito

    LJOS sta per la sequenza di parole: Linux, Java, Operating System. Questo è un tentativo di creare un'estensione diretta del bytecode al kernel Linux strettamente integrato con un database come archivio comune.

  • DROIDinfo (Android 1.6+) Gratuito

    DROIDinfo visualizza informazioni tecniche su un dispositivo Android. È rivolto agli sviluppatori che vogliono ottenere una panoramica dell'hardware di un dispositivo, del sistema Linux / Android e delle proprietà Java viste

  • Lumbermill - Log4J/JSR47 GUI Gratuito

    Lumbermill è un centro di elaborazione e distribuzione di log visivi per Log4j e (in 2.0) java.util.logging (JSR47). Si tratta di un'applicazione autonoma Swing/GUI che supporta la visualizzazione e l'archiviazione degli even

  • EmbeddedImageBuilder Gratuito

    L'obiettivo di questo progetto è fornire un metodo per creare un'immagine avviabile per piccoli sistemi embedded, in base alle origini del pacchetto originali, in particolare buildroot, e per istantaneare i file di distribuzi