Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. Community Z Tools

Community Z Tools 1

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

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.

história da versão

  • Versão 1_5_0 postado em 2009-02-16
    Várias correções e atualizações
  • Versão 1_5_0 postado em 2009-02-16

Detalhes do programa

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