Community Z Tools 1
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/czt/files/czt/1_5_0/czt_1_5_0_bin.jar/download
Sobre Community Z Tools
Projeto Community Z Tools (CZT): Ferramentas para edição, verificação de tipo e animação Z especificações e notações relacionadas. Inclui uma estrutura java para a construção de ferramentas formais.
Programas Relacionados
-
qDoc Julgamento Gratuito
O editor de relatórios de dados do Burningbox qDoc é um software que pode criar relatórios a partir das suas bases de dados. Este software pode aceder às bases de dados mais comuns. Pode definir até 250 secções no seu documen
-
Simpletidy Grátis
Simpletidy limpa e converte as suas páginas web para XHTML 1.0 bem informado. Interface fácil e simples de usar. Limpa e corrige o seu código HTML.Adiciona o doctipo adequado.Corrige os ninhos sobrepostos.Correções mi
-
Xtrans Grátis
Um editor compacto para construir modelos XSL e testar a sua transformação com documentos XML. Muito fácil de usar. Não é necessária configuração, excelente ferramenta para autoria xSl e depuração.
-
GeoMaker Grátis
Crie a Base GeoData para todo o mundo. Este programa cria a localização geográfica Latitude, Longitude e Altitude (Elevação) para cada cidade, vila, região, estado, concelho do Mundo. O programa rastreia os dados do site www.
-
MotoCast Grátis
Transmita toda a sua coleção de música, playlists, fotos, vídeos e documentos diretamente do seu computador! Sem carregar para um servidor público, sem se preocupar com o seu dispositivo ficar sem espaço. Com o MotoCast, des
-
The Lemur Project Grátis
O Lemur Project desenvolve motores de busca, barras de ferramentas de navegador, ferramentas de análise de texto e recursos de dados que suportam a pesquisa e desenvolvimento de software de recolha de informação e mineração d
-
Embedded Data Display System Grátis
O Sistema de Visualização de Dados Incorporado fornece uma biblioteca de servidores C++ portátil leve e um cliente baseado em PC (Windows, Linux ou Mac) que captura e exibe graficamente dados gerados por dispositivos incorpor
-
Eclipse CDT GNU PowerPC Plug-in Grátis
Um plug-in para a Ferramenta de Desenvolvimento Eclipse C/C++ (CDT) que adiciona novos tipos de projeto específicos ao desenvolvimento do PowerPC C/C++.
-
XRadar Grátis
Ferramenta aberta de relatório de análise de sistema extensível para Java, baseada em inúmeras iniciativas de análise de código aberto. A estrutura de processamento de lotes XML/XSL produz relatórios integrados html/SVG do es
-
XML Conformance Testing Grátis
Este projeto acolhe vários recursos envolvidos em testes de conformidade para XML e padrões conexos. Inicialmente suporta testes XML (SAX/Java e DOM/JavaScript), com XML Schema e outros padrões previstos num futuro próximo.