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

Community Z Tools 1

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

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.

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 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.