Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. Community Z Tools

Community Z Tools 1

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 2.8/5 - ‎6 ‎Votes
Télécharger

Community Z Tools Project (CZT): Outils d’édition, de dactylographiation et d’animation de Z spécifications et notations connexes. Inclut un cadre Java pour la construction d’outils de méthodes formelles.

historique de la version

  • Version 1_5_0 posté sur 2009-02-16
    Plusieurs correctifs et mises à jour
  • Version 1_5_0 posté sur 2009-02-16

Détails du programme

Programmes connexes

  • qDoc Essai gratuit

    Burningbox qDoc data reports editor est un logiciel qui peut créer des rapports à partir de vos bases de données. Ce logiciel peut accéder aux bases de données les plus courantes. Vous pouvez définir jusqu’à 250 sections dans

  • Simpletidy Gratuit

    Simpletidy nettoie et convertit vos pages Web en XHTML 1.0 bien informé. Interface facile et simple à utiliser. Nettoie et corrige votre code HTML.Ajoute le doctype approprié.Corrige les nidifications qui se chevauchent

  • Xtrans Gratuit

    Un éditeur compact pour construire des modèles XSL et tester leur transformation avec des documents XML. Très facile à utiliser. Aucune configuration requise, excellent outil pour la rédaction et le débogage XSL.

  • GeoMaker Gratuit

    Créez la GéoDatabase pour le monde entier. Ce programme crée l’emplacement géographique Latitude, Longitude et Altitude (Altitude) pour chaque ville, village, région, État, comté dans le monde. Le programme analyse les donnée

  • MotoCast Gratuit

    Diffusez toute votre collection de musique, playlists, photos, vidéos et documents directement à partir de votre ordinateur ! Pas de téléchargement sur un serveur public, pas de s’inquiéter de votre appareil à court d’espace.

  • The Lemur Project Gratuit

    Le projet Lémurien développe des moteurs de recherche, des barres d’outils de navigateur, des outils d’analyse de texte et des ressources de données qui soutiennent la recherche et le développement de logiciels de récupératio

  • Embedded Data Display System Gratuit

    Le système d’affichage de données embarqué fournit une bibliothèque de serveurs C++ portable légère et un client basé sur PC (Windows, Linux ou Mac) qui capture et affiche graphiquement les données générées par des dispositif

  • Eclipse CDT GNU PowerPC Plug-in Gratuit

    Un plug-in pour l’outillage de développement Eclipse C/C++ (CDT) qui ajoute de nouveaux types de projets spécifiques au développement PowerPC C/C++.

  • XRadar Gratuit

    Open extensible outil de rapport d’analyse du système pour Java, basé sur de nombreuses initiatives d’analyse open source. Le cadre de traitement par lots XML/XSL produit des rapports HTML/SVG intégrés de l’état actuel des sy

  • XML Conformance Testing Gratuit

    Ce projet héberge diverses ressources impliquées dans les tests de conformité pour XML et les normes connexes. Initialement, il prend en charge les tests XML (SAX/Java et DOM/JavaScript), avec XML Schema et d’autres normes p