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

Community Z Tools 1

Licencia: Gratis ‎Tamaño del archivo: N/A
‎Calificación de usuarios: 2.8/5 - ‎6 ‎Votos
Descargar

Proyecto de Herramientas Comunitaria Z (CZT): Herramientas para editar, marcar y animar Z especificaciones y notaciones relacionadas. Incluye un marco Java para la creación de herramientas de métodos formales.

historial de versiones

  • Versión 1_5_0 publicado en 2009-02-16
    Varias correcciones y actualizaciones
  • Versión 1_5_0 publicado en 2009-02-16

Detalles del programa

Programas relacionados

  • qDoc Prueba gratuita

    Burningbox qDoc data reports editor es un software que puede crear informes a partir de sus bases de datos. Este software puede acceder a las bases de datos más comunes. Puede definir hasta 250 secciones en el documento y agr

  • Simpletidy Gratis

    Simpletidy limpia y convierte sus páginas web a XHTML 1.0 bien formada. Interfaz fácil y fácil de usar. Limpia y corrige el código HTML.Agrega el Doctype adecuado.Corrige los anidamientos superpuestos.Corrige etiqueta

  • Xtrans Gratis

    Un editor compacto para crear plantillas XSL y probar su transformación con documentos XML. Muy fácil de usar. No se requiere configuración, excelente herramienta para la creación y depuración XSL.

  • GeoMaker Gratis

    Cree GeoDatabase para todo el mundo. Este programa crea la ubicación geográfica Latitud, Longitud y Altitud (Elevación) para cada ciudad, pueblo, región, estado, condado del mundo. El programa rastrea los datos del sitio web

  • MotoCast Gratis

    ¡Transmite toda tu colección de música, listas de reproducción, fotos, vídeos y documentos directamente desde tu ordenador! Sin subir a un servidor público, no te preocupes por que tu dispositivo se queje sin espacio. Con Mo

  • The Lemur Project Gratis

    El Proyecto Lemur desarrolla motores de búsqueda, barras de herramientas del navegador, herramientas de análisis de texto y recursos de datos que apoyan la investigación y el desarrollo de software de recuperación de informac

  • Embedded Data Display System Gratis

    El sistema de visualización de datos integrado proporciona una biblioteca de servidores C++ portátil ligera y un cliente basado en PC (Windows, Linux o Mac) que captura y muestra gráficamente los datos generados por dispositi

  • Eclipse CDT GNU PowerPC Plug-in Gratis

    Un complemento para el Eclipse C/C++ Development Tooling (CDT) que agrega nuevos tipos de proyecto específicos para el desarrollo de PowerPC C/C++.

  • XRadar Gratis

    Herramienta de informe de análisis de sistemas extensible abierta para Java, basada en numerosas iniciativas de análisis de código abierto. El marco de procesamiento por lotes XML/XSL genera informes HTML/SVG integrados del e

  • XML Conformance Testing Gratis

    Este proyecto hospeda varios recursos implicados en las pruebas de conformidad para XML y estándares relacionados. Inicialmente es compatible con las pruebas XML (SAX/Java y DOM/JavaScript), con esquema XML y otros estándare