Invia software
  1. Casa
  2. Windows
  3. Altro
  4. Overture: Formal modelling in VDM
  5. Download

Overture: Formal modelling in VDM

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 2.6/5 - ‎5 ‎Voti

Circa Overture: Formal modelling in VDM

Il progetto Overture sta sviluppando una serie di plug-in Eclipse open source per supportare l'integrazione di vari strumenti di modellazione VDM (Vienna Development Method). L'obiettivo è fornire supporto a tutti gli strumenti VDM esistenti e ai dialetti linguistici.

Programmi correlati

  • Mkulu QA Proxy Gratuito

    Mkulu QA Proxy viene utilizzato per visualizzare i dettagli dei pacchetti HTTP. È uno strumento utile per lo sviluppo e il test web. Sono in corso lavori per aumentare la funzionalità dello strumento. Il proxy è in grado di a

  • Illumination Gratuito

    Illuminazione- una libreria GUI C++ ricca di funzionalità e indipendente dalla plattforme. Caratteristiche principali: liabilità, supporto per la descrizione della superficie XML, motore di layout elegante, sensibilità ai car

  • HMM Based Chinese Segmentor Gratuito

    Si tratta di un progetto che implementa l'interfaccia di lucene Analyzer per estendere la sua funzione di far fronte al problema della segmentazione cinese basata sul modello statistico (Hiden Marcov Model)

  • NHibernateIt Gratuito

    NHibernateIt è un Helper NHibernate Session Management e fornisce azioni CRUD di base attraverso la classe Repository. Ispirato al progetto NHibernator, su oracleatdotnet.com

  • AstroWeka Gratuito

    AstroWeka è un insieme di estensioni di Weka, un popolare programma di data mining, che gli permette di lavorare direttamente con i dati astronomici nell'Osservatorio Virtuale.

  • CalFaces Gratuito

    CalFaces (precedentemente jsforganiser) è una raccolta di componenti JavaServer Faces da utilizzare nelle applicazioni PIM basate sul Web, che fornisce un calendario in stile Outlook con visualizzazioni giorno, settimana lavo

  • Complement Gratuito

    Librerie C++ multipiattaforma. 1. xmt: interfaccia di programmazione portatile per creare applicazioni o librerie MultiThreaded (MT); 2. sockios: interfaccia alle prese (flussi IO C++); 3. StEM: quadro macchina/comunicazione

  • H3xC4T Gratuito

    H3xC4T legge i file binari e mostra il contenuto esadecimale ordinato in colonne... in futuro, aggiungerò alcune funzionalità come la semplice conversione binaria o lo smontaggio ...

  • Charset detector Gratuito

    Libreria per il rilevamento automatico del set di caratteri di un determinato testo o file. Il buffer di input verrà analizzato per indovinare la codifica utilizzata. Il risultato (nome del set di caratteri o ID della codific

  • Java Signal/Slot with Annotations Gratuito

    Questa libreria è un'API segnale/slot per Java 5.0 che utilizza annotazioni per contrassegnare i segnali/slot. Una sottoclasse contenente enumerazioni segnale/slot, così come i metodi per emettere il segnale ai suoi slot, vie