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

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

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.0/5 - ‎1 ‎votos
Baixar

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

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 Grátis

    JFserv é um IRC-Bot (baseado no PircBot http://www.jibble.org/pircbot.php) que pode utilizar, para partilhar ficheiros no IRC. Está escrito em Java, por isso deve ser executado em qualquer plataforma. O JFserv está a utilizar

  • php::xul::lib Grátis

    php::xul::lib é uma estrutura para fazer aplicações baseadas na Web com design como uma aplicação X, php::xul::lib fornece camada de abstração databse, xul gen, e outros recursos para desenvolvedores, código fonte é oo com ph

  • MDARAD Toolbox Grátis

    Ferramentas para Architected RAD (Rapid Application Development) com base numa abordagem MDA. A caixa de ferramentas contém quadros e geradores para muitos ambientes (JAVA, J2EE, Hibernato, .NET, C++, etc.) que permitem gera

  • littlej Grátis

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

  • GPStoEXIF Grátis

    O GPStoEXIF junta-se aos dados de GPS do GPX Files com Imagens através do seu timetamp para ter dados de posição nas imagens exif meta information. O GPStoEXIF utiliza a biblioteca exiv2 para escrever os dados exif e expatr p

  • ASpider Grátis

    Aranha-teia CLI multi-roscada robusta com recurso a apaches comuns httpclient v3.0 escrito em java. A ASpider descarrega quaisquer ficheiros que correspondam aos tipos de mimos de um website. Tenta reg.exp. corresponder e-m

  • Scene3DS Parser Grátis

    Um extremamente simples de usar 3ds parser. Basta construir o objeto Scene3DS e, em seguida, utilizar as funções de leitura pública para ler os dados (como objetos de malha .etc).É um parser - por isso cabe-lhe a si fazer o

  • Weblogic to JBoss converter Grátis

    weblo2jboss é um script weblogic para JBoss converter script para projetos JBuilder 7 usando cmp e sessão de feijões.

  • ArhebExtension Grátis

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

  • Textual Analyzer Grátis

    P.A.N. (Poetry ANalyzer) usa regras gramaticais convencionais para quebrar texto não convencional. Este "Textual Analyzer" permite-lhe examinar um texto de uma forma não convencional permitindo uma nova perspetiva d