Invia software
  1. Casa
  2. Windows
  3. Altro
  4. D.B.S.S.V.E.

D.B.S.S.V.E.

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

DBSSVE è un unico ambiente per utilizzare una specifica formale leggera intuitiva nelle fasi di specifica e test dello sviluppo software. Anche DBSSVE sarà estensibile ad altre notazioni e linguaggi di specifica basati su decisioni.

cronologia delle versioni

  • Versione dbssve pubblicato il 2011-07-23
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2011-07-23

Dettagli del programma

Programmi correlati

  • JFserv Gratuito

    JFserv è un IRC-Bot (basato su PircBot http://www.jibble.org/pircbot.php ) che è possibile utilizzare, per condividere file su IRC. È scritto in Java, quindi dovrebbe essere eseguito su qualsiasi piattaforma. JFserv utilizza

  • php::xul::lib Gratuito

    php::xul::lib è un framework per creare app basate sul Web con design come un'app X, php::xul::lib fornisce il livello di astrazione databse, xul gen e altre risorse per gli sviluppatori, il codice sorgente è oo con php5.

  • MDARAD Toolbox Gratuito

    Strumenti per RAD progettato (Rapid Application Development) basati su un approccio MDA. La casella degli strumenti contiene framework e generatori per molti ambienti (JAVA, J2EE, Hibernate, .NET, C++, ecc.) che consentono d

  • littlej Gratuito

    littlej (pronunciato 'Little Jay') è un insieme di utilità Java a riga di comando multipiattaforma per lo sviluppatore Java che programma con un editor di testo normale invece di un IDE. littlej funziona alla grande con edi

  • GPStoEXIF Gratuito

    GPStoEXIF unisce i dati GPS dei file GPX alle immagini in base al timestamp per avere i dati di posizione nelle immagini exif meta informazioni. GPStoEXIF utilizza la libreria exiv2 per scrivere i dati EXIF ed espatriare per

  • ASpider Gratuito

    Robusto ragno web CLI multi-thread con funzionalità che utilizza apache commons httpclient v3.0 scritto in java. ASpider scarica tutti i file corrispondenti ai tipi mime forniti da un sito Web. Tenta di reg.exp. abbinare le

  • Scene3DS Parser Gratuito

    Un parser 3ds estremamente semplice da usare. È sufficiente costruire l'oggetto Scene3DS, quindi utilizzare le funzioni di lettura pubbliche per leggere i dati (come gli oggetti mesh .etc).È un parser, quindi sta a te esegu

  • Weblogic to JBoss converter Gratuito

    weblo2jboss è uno script di conversione da Weblogic a JBoss per progetti JBuilder 7 che utilizzano CMP e fagioli di sessione.

  • ArhebExtension Gratuito

    arheb è un'estensione di Firefox che traduce le pagine scritte in alfabeto arabo in alfabeto ebraico. Tutto il contenuto di testo delle pagine viene tradotto automaticamente in alfabeto ebraico (come in 'meduberet').

  • Textual Analyzer Gratuito

    P.A.N. (Poetry ANalyzer) usa regole grammaticali convenzionali per abbattere il testo non convenzionale. Questo "analizzatore testuale" consente di esaminare un testo in modo non convenzionale, consentendo una nuova