Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. D.B.S.S.V.E.

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

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 3.0/5 - ‎1 ‎Votos
Download

O DBSSVE é um ambiente único para utilizar uma especificação formal leve intuitiva nas fases de especificação e teste do desenvolvimento de software. Além disso, o DBSSVE será extensível a outras notações de especificações baseadas em decisões e idiomas.

história da versão

  • Versão dbssve postado em 2011-07-23
    Várias correções e atualizações
  • Versão N/A postado em 2011-07-23

Detalhes do programa

Programas Relacionados

  • JFserv Livre

    JFserv é um IRC-Bot (baseado no PircBot http://www.jibble.org/pircbot.php ) que você pode usar, para compartilhar arquivos no IRC. É escrito em Java, por isso deve ser executado em qualquer plataforma. JFserv está usando as c

  • php::xul::lib Livre

    php:xul::lib é uma estrutura para fazer app's baseado na Web com design como um aplicativo X, php::xul::lib fornece camada de abstração databse, xul gen, e outros recursos para desenvolvedores, código fonte é oo com php5.

  • MDARAD Toolbox Livre

    Ferramentas para RAD arquitetado (Desenvolvimento rápido de aplicativos) com base em uma abordagem MDA. A caixa de ferramentas contém frameworks e geradores para muitos ambientes (JAVA, J2EE, Hibernar, .NET, C++, etc.) que p

  • littlej Livre

    littlej (pronuncia-se 'Little Jay') é um conjunto de utilitários Java multiplataforma e linha de comando para o desenvolvedor Java que programa com um editor de texto simples em vez de um IDE. littlej funciona muito bem com

  • GPStoEXIF Livre

    O GPStoEXIF une dados gps de Arquivos GPX com Imagens por seu relógio para ter dados de posição nas imagens exif meta information. O GPStoEXIF usa a biblioteca exiv2 para escrever os Dados EXIF e expatriar para analisar os ar

  • ASpider Livre

    Aranha-teia CLI de vários threads robusta usando apache commons httpclient v3.0 escrito em java. A ASpider baixa todos os arquivos que correspondam aos seus tipos de mímicos de um site. Tenta reg.exp. correspondência de e-m

  • Scene3DS Parser Livre

    Um analisador extremamente simples de usar 3ds. Basta construir o objeto Scene3DS e, em seguida, usar as funções de leitura pública para ler os dados (como objetos de malha .etc).É um analisador - então cabe a você renderiz

  • Weblogic to JBoss converter Livre

    weblo2jboss é um script conversor Weblogic para JBoss para projetos JBuilder 7 usando CMP e Session beans.

  • ArhebExtension Livre

    arheb é uma extensão do Firefox que traduz páginas escritas em script árabe para script hebraico. Todo o conteúdo de texto das páginas é traduzido automaticamente para script hebraico (como em 'meduberet').

  • Textual Analyzer Livre

    P.A.N. (Poesia ANalyzer) usa regras gramaticais convencionais para quebrar textos não convencionais. Este "Textual Analyzer" permite examinar um texto de forma não convencional, permitindo uma nova perspectiva difer