Invia software
  1. Casa
  2. Windows
  3. Altro
  4. Desing by Contract Utilities

Desing by Contract Utilities 0.4

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

Il progetto fornirà un set molto piccolo di classi di utilità utilizzabili per il controllo degli invarianti di classe pre e postcondizioni

cronologia delle versioni

  • Versione dbc-utilities0.4 pubblicato il 2006-05-09
    Diverse correzioni e aggiornamenti
  • Versione dbc-utilities0.4 pubblicato il 2006-05-09

Dettagli del programma

Programmi correlati

  • ZABBIX Gratuito

    ZABBIX è una soluzione di monitoraggio distribuito open source di livello enterprise progettata per monitorare e tenere traccia delle prestazioni e della disponibilità di server di rete, dispositivi e altre risorse IT. Suppor

  • Fine Gratuito

    Fine è un derivitivo del compilatore SmallEiffel. Tuttavia, nel tentativo di migliorare (?) sulla lingua Eiffel ha alcune funzionalità aggiuntive e modificate. Sarà fatto ogni sforzo per mantenerlo compatibile verso l'alto.

  • FullPage for eBay (UK) Prova gratuita

    Questa app ti consente di utilizzare ebay.co.uk come farei dal tuo computer desktop.FullPage apre ebay in un browser progettato per facilitare la navigazione e aumentare il divertimento dell'utilizzo del sito Web ebay.

  • GridSAM Gratuito

    GridSAM fornisce un servizio Web aperto per l'invio di standard aperti per l'invio di processi computazionali a molti sistemi di gestione delle risorse distribuite comunemente utilizzati.

  • ESMERALDA Gratuito

    ESMERALDA è un ambiente di sviluppo perriconoscitori che operano su dati sequenziali (riconoscimento vocale, grafia,sequenze biologiche). Supporta la densità continua HiddenModelli markov, modelli a catena Markov (N-gra

  • EditBox Gratuito

    EditBox è il plug-in Eclipse per l'evidenziazione dello sfondo del codice sorgente. Mentre la maggior parte dei plug-in evidenzia la sintassi del codice sorgente, EditBox evidenzia il blocco selezionato del codice modificando

  • DataMiningGrid Gratuito

    Strumenti e servizi conformi a WSRF per il data mining in ambienti di grid computing, basati su: Sistema di flusso di lavoro Globus Toolkit 4, Condor e Triana. Per ulteriori informazioni, http://www.datamininggrid.org Copyrig

  • Finch package dependency engine Gratuito

    Finch è un motore di gestione del grafico delle dipendenze dei pacchetti con interfacce in molti linguaggi di programmazione (C, Obj-C, Perl, ecc.). L'obiettivo di questo progetto è fornire una solida sostituzione dell'attua

  • jpegEnc Gratuito

    L'obiettivo di jpegEnc è quello di fornire un codificatore JPEG fondamentale. Caratteristiche principali: * Stampa minuscola del piede * Due volte più veloce del libjpeg * Il processo è su base banda per banda. Output in un b

  • NLChunker Gratuito

    Marcatore di blocchi del linguaggio naturale per identificare gruppi nominali e gruppi verbali in un dato discorso