D.B.S.S.V.E.
Você poderá baixar em 5 segundos.
Você também pode clicar no seguinte Link de Download Externo para iniciar o download:
http://sourceforge.net/p/dbssve/mercurial/
Sobre D.B.S.S.V.E.
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.
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