Invia software
  1. Casa
  2. Windows
  3. Altro
  4. eTLA

eTLA 2.1.0

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

Plug-in IDE DI TLA+ Eclipse. Integrazione del linguaggio di definizione formale 'Temporal Logic of Actions' per specificare i sistemi in Eclipse IDE

cronologia delle versioni

  • Versione 2.1.0 pubblicato il 2005-08-22
    Diverse correzioni e aggiornamenti
  • Versione 2.1.0 pubblicato il 2005-08-22

Dettagli del programma

Programmi correlati

  • TinyIDE MUSH Programming Tool Gratuito

    Il progetto TinyIDE è un tentativo di creare un nuovo client MUSH per i programmatori in TinyMUSH, PennMUSH, ecc. Ciò sarà caratterizzato dalla formattazione del codice, dall'esplorazione degli oggetti e dalla funzionalità g

  • Pesoguin Calendar free cartoon Gratuito

    Questa è un'app di calendario di "Pesoguin", un personaggio popolare in Giappone.You’lo troverai uno strumento pieno di intrattenimento. In questa app puoi goderti la personalizzazione di esso. Pesoguin è un an

  • Transparent skin Green Prova gratuita

    Skin per una migliore tastiera e smart keyboard pro.Utile per vedere cosa succede sotto la tastiera (come chat, riga di comando, ecc...).Se ti piace o usi questo lavoro, puoi sempre comprarmi una birra: http://pp01.gdu

  • TubeMonitor Prova gratuita

    TubeMonitor è un widget che ti aiuta a monitorare il numero di visualizzazioni per i tuoi video su youtube. È richiesto solo il tuo nome utente.Non devi più visitare youtube di tanto in tanto per ottenere un conteggio del

  • I'm Out! - Call interceptor Gratuito

    Hai l'abitudine di dimenticare il telefono a casa e preoccuparti se qualcuno sta cercando di chiamarti? O vuoi essere in grado di lasciare il tuo costoso telefono Android a casa mentre partecipi a un'attività all'aperto disor

  • DIG Interface Gratuito

    Schemi XML, XMLBeans e implementazione Java dell'interfaccia DIG-- un'interfaccia XML standardizzata per i sistemi Description Logics sviluppato dal gruppo di attuazione DL (DIG).

  • Onemind common java library Gratuito

    onemind-commons contiene diverse librerie java: common-java: java datastructure/util library; relational-bean: un'estensione della libreria java bean per la rappresentazione del modello a oggetti relazionale; invocazione: un

  • UPSD Log Parser Gratuito

    UPSD Log Parser (ulp) monitora i messaggi inviati da upsd a syslogd. Estrae i dati da questi e li inserisce in un file RRD, da cui gli amministratori possono ottenere grafici dello stato UPS.

  • CamPainter Lite Prova gratuita

    CamPainter è un potente software di pittura delle dita.1. Icona di navigazione Canvas/w fino a 1024x768 pixel2. Risposta rapida e interfaccia intuitiva3. Ruota di selezione tonalità/saturazione4. Contagocce: raccogl

  • idyaDBX - SQL DBMS in PHP Gratuito

    idyaDBX è una libreria leggera scritta in PHP che implementa un motore di database SQL incorporabile, con i dati non elaborati archiviati come XML. Gli script PHP possono includere idyaDBX come intestazione per gestire i prop