Community Z Tools 1
Você poderá baixar em 5 segundos.
Você também pode clicar no seguinte Link de Download Externo para iniciar o download:
http://sourceforge.net/projects/czt/files/czt/1_5_0/czt_1_5_0_bin.jar/download
Sobre Community Z Tools
Projeto de Ferramentas da Comunidade Z (CZT): Ferramentas para edição, digitação e animação Z especificações e notações relacionadas. Inclui uma estrutura Java para a construção de ferramentas de métodos formais.
Programas Relacionados
-
qDoc Avaliação gratuita
Burningbox qDoc data reports editor é um software que pode criar relatórios a partir de seus bancos de dados. Este software pode acessar os bancos de dados mais comuns. Você pode definir até 250 seções em seu documento e adic
-
Simpletidy Livre
Simpletidy limpa e converte suas páginas web em XHTML 1.0 bem formada. Fácil e simples de usar interface. Limpa e corrige seu código HTML.Adiciona o doctipo adequado.Corrige ninhos sobrepostos.Correções misturadas tag
-
Xtrans Livre
Um editor compacto para construir modelos XSL e testar sua transformação com documentos XML. Muito fácil de usar. Não é necessária configuração, excelente ferramenta para autoria e depuração de XSL.
-
GeoMaker Livre
Crie o GeoDatabase para o mundo inteiro. Este programa cria a localização geográfica Latitude, Longitude e Altitude (Elevação) para cada cidade, aldeia, região, estado, condado do mundo. O programa rastreia os dados do site w
-
MotoCast Livre
Transmita toda a sua coleção de músicas, listas de reprodução, fotos, vídeos e documentos direto do seu computador! Sem upload para um servidor público, sem se preocupar com seu dispositivo ficar sem espaço. Com o MotoCast,
-
The Lemur Project Livre
O Projeto Lemur desenvolve mecanismos de busca, barras de ferramentas de navegador, ferramentas de análise de texto e recursos de dados que suportam pesquisa e desenvolvimento de softwares de recuperação de informações e mine
-
Embedded Data Display System Livre
O Sistema de Exibição de Dados Incorporados fornece uma biblioteca de servidor C++ portátil leve e um cliente baseado em PC (Windows, Linux ou Mac) que captura e exibe graficamente dados gerados por dispositivos incorporados,
-
Eclipse CDT GNU PowerPC Plug-in Livre
Um plug-in para o CdT (Eclipse C/C++ Development Tooling, ferramenta de desenvolvimento do Eclipse C++" que adiciona novos Tipos de Projeto específicos ao desenvolvimento do PowerPC C/C++..
-
XRadar Livre
Ferramenta de relatório de análise de sistema extensível aberto para Java, com base em inúmeras iniciativas de análise de código aberto. A estrutura de processamento em lote XML/XSL produz relatórios HTML/SVG integrados do es
-
XML Conformance Testing Livre
Este projeto hospeda vários recursos envolvidos em testes de conformidade para XML e padrões relacionados. Inicialmente suporta testes XML (SAX/Java e DOM/JavaScript), com o XML Schema e outros padrões previstos em um futuro