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

Syspect 1.5.0

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

Syspect è uno strumento per specificare un sistema utilizzando diagrammi UML2 e tradurli in una specifica CSP-OZ-DC per la verifica formale.

cronologia delle versioni

  • Versione 1.5.0 pubblicato il 2010-05-11
    Diverse correzioni e aggiornamenti
  • Versione 1.5.0 pubblicato il 2010-05-11

Dettagli del programma

Programmi correlati

  • Frankenstein Project: Hack the Genome Gratuito

    Progetto Frankenstein: Hack the GenomeUna raccolta di strumenti preziosi necessari per l'analisi del genoma, come ad esempio:- molecola, visualizzatore struttura 3D proteica- macchina per l'allineamento delle proteine

  • Order Switchable Column Table (OSCT) Gratuito

    L'Order Switchable Column Table (OSCT) è una struttura di formato tab-delmited in biologia molecolare. OSCT, sviluppato in RIKEN OSC, fornisce un framework generale per acquisire meta-dati (come file di input, protocollo, par

  • Chemistry Terms Dictionary Gratuito

    Scarica oggi stesso il dizionario completo della guida chimica. Questa applicazione contiene oltre 1000 "Termini chimici" insieme alle loro definizioni scientifiche.L'utente di questa applicazione può cercare defini

  • Zoorbar Gratuito

    Zoorbar è un'applicazione per computer progettata per gestire e digitalizzare le collezioni di Storia Naturale. - Registrazione di tutte le identificazioni dei campioni. Si basa su MS-Access. Crediti e maggiori informazioni s

  • Turkish Human Mutation Database Gratuito

    Il rapido accumulo di dati sulle mutazioni umane ha portato all'idea di creare una banca dati nazionale/etnica in Turchia approvata da HUGO-MDI/HGVS. Il progetto interdisciplinare hmut-tr avviato nel 1995 mira ad ospitare que

  • Regex Creator Gratuito

    Regex Creator è uno strumento per aiutare a creare espressioni regolari (regex). L'obiettivo è quello di rendere il più semplice e veloce possibile la creazione di regex. Incollare il testo da analizzare, specificare i valori

  • Lapack++ Gratuito

    LAPACK++ è una libreria per calcoli di algebra lineare ad alte prestazioni.Questa versione include il supporto per la risoluzione di sistemi lineari utilizzando LU, Cholesky,Fattorizzazioni della matrice QR, per matrici r

  • Buxa Code Documentor for PHP 6 Gratuito

    API facile da usare per documentare progetti PHP (>= 5.3). Segue una struttura rigorosa e originariamente, è stato scritto solo per il Buxa Framework. Il documentor utilizza principalmente riflessione e sì... naturalmente,

  • Moodle presubscribe Gratuito

    L'oggetto pre-sottoscrizione può essere utilizzato con Moodle per aggiungervi funzionalità di pre-sottoscrizione complete. Il modulo consente agli utenti di prescrivere un corso (con e-mail di notifica). L'amministratore di M

  • di-base read Fast Alignment Search Tool Gratuito

    Strumento di ricerca allineamento rapido per le letture di base (spazio colore; AB SOLiD). Un programma complementare per i popolari mappatori di lettura Illumina mrFAST e mrsFAST.