Invia software
  1. Casa
  2. Windows
  3. Altro
  4. Maude MSOS Tool

Maude MSOS Tool

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

Maude MSOS Tool è un ambiente formale per le specifiche della semantica operativa strutturale modulare. È particolarmente utile per la specifica formale dei linguaggi di programmazione e dei sistemi simultanei.

cronologia delle versioni

  • Versione N/A pubblicato il 2011-08-12
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2011-08-12

Dettagli del programma

Programmi correlati

  • Intuitive Neural Network Gratuito

    Intuitive Neural Network è un software concepito per scopi CAE (Computer Aided Education) in Intelligenza Artificiale.

  • Digital Camera EXIF Backup Gratuito

    Semplice applicazione Java di backup EXIF che legge il tag data presa da un'immagine e clona il file in un percorso di destinazione utilizzando una struttura di directory predefinita del modello di data.

  • TUPA - The Ultimate PowerDNS Admin Gratuito

    TUPA è un frontend di amministrazione PowerDNS basato sul web programmato in PHP / Javascript(AJAX) / MySQL.Supporta la creazione di gruppi, utenti e modelli.

  • Surfraw - Shell Revolutionary Front Gratuito

    Surfraw - La rabbia rivoluzionaria degli utenti shell contro il web. Surfraw fornisce un'interfaccia veloce da riga di comando unix a una varietà di popolari motori di ricerca WWW e altri artefatti di potenza. Abbandona l'ido

  • Cybios Digital Community Gratuito

    Cybios è una comunità Game-Cyber online basata su Avatar che interagisce nelle città virtuali. Come Avatar puoi vivere, lavorare e giocare in The Digital-community come il RealWorld. A Cybios tutto potrebbe accadere. (trova a

  • OWLmt Gratuito

    OWLmt è uno strumento di mappatura ontologia basato sulle specifiche del linguaggio di ontologia Web (OWL). Fornisce un'interfaccia utente grafica per definire i mapping tra due schemi di ontologia. Fornisce un motore per ott

  • Maven Wiki Plugin Gratuito

    Il Maven Wiki Plugin recupera la documentazione da diversi sistemi Wiki e crea file XDoc per ulteriori elaborazioni da parte di altri plugin Maven come il plugin PDF o il plugin XDoc.

  • Input Abstraction Layer Gratuito

    Input Abstraction Layer (IAL) è un progetto che realizza tasti speciali (ad esempio tasti multimediali, tasti funzione presenti nei notebook) "solo lavoro". IAL fornisce un daemon che può essere migliorato dai modul

  • iChooChoo Gratuito

    iChooChoo è un simulatore di treni in rete basato su Java, completo di suono e animazioni. Crea layout di binari personalizzati e persino far visitare ai treni altri computer! Design di programmazione modulare. Funziona e

  • Commons for Java 5 Gratuito

    Una soluzione per problemi comuni in java utilizzando le nuove funzionalità del linguaggio come annotations generics autoboxing varargs ...