Software einreichen
  1. Startseite
  2. Linux
  3. Andere
  4. Community Z Tools

Community Z Tools 1

Lizenz: kostenlos ‎Dateigröße: N/A
‎Benutzerbewertung: 2.8/5 - ‎6 ‎Stimmen
Herunterladen

Community Z Tools Project (CZT): Werkzeuge zum Bearbeiten, Typcheckingen und Animieren von Z Spezifikationen und zugehörigen Notationen. Enthält ein Java-Framework zum Erstellen formaler Methodentools.

VERSIONSVERLAUF

  • Version 1_5_0 veröffentlicht auf 2009-02-16
    Mehrere Korrekturen und Updates
  • Version 1_5_0 veröffentlicht auf 2009-02-16

Programmdetails

Verwandte Programme

  • qDoc Kostenlose Testversion

    Burningbox qDoc Datenberichts-Editor ist eine Software, die Berichte aus Ihren Datenbanken erstellen kann. Diese Software kann auf die gängigsten Datenbanken zugreifen. Sie können bis zu 250 Abschnitte in Ihrem Dokument defin

  • Simpletidy kostenlos

    Simpletidy reinigt und konvertiert Ihre Webseiten in gut geformte XHTML 1.0. Einfache und einfach zu bedienende Schnittstelle. Bereinigt und behebt Ihren HTML-Code.Fügt den richtigen Doctype hinzu.Behebt überlappende Ve

  • Xtrans kostenlos

    Ein kompakter Editor zum Erstellen von XSL-Vorlagen und Testen ihrer Transformation mit XML-Dokumenten. Sehr einfach zu bedienen. Kein Setup erforderlich, ausgezeichnetes Tool für XSL-Authoring und Debugging.

  • GeoMaker kostenlos

    Erstellen Sie die GeoDatabase für die ganze Welt. Dieses Programm erstellt die geografische Position Breitengrad, Längengrad und Höhe (Höhe) für jede Stadt, jedes Dorf, jede Region, jeden Bundesstaat, jede Grafschaft in der W

  • MotoCast kostenlos

    Streamen Sie Ihre gesamte Sammlung von Musik, Wiedergabelisten, Fotos, Videos und Dokumenten direkt von Ihrem Computer! Kein Upload auf einen öffentlichen Server, keine Sorge, dass Ihr Gerät nicht mehr platziert. Mit MotoCas

  • The Lemur Project kostenlos

    Das Lemur-Projekt entwickelt Suchmaschinen, Browser-Symbolleisten, Textanalysetools und Datenressourcen, die die Forschung und Entwicklung von Informationsabruf- und Textminingsoftware unterstützen, einschließlich der Indri-S

  • Embedded Data Display System kostenlos

    Das Embedded Data Display System bietet eine einfache portable C++-Serverbibliothek und einen PC-basierten Client (Windows, Linux oder Mac), der Daten erfasst und grafisch anzeigt, die von eingebetteten Geräten wie medizinisc

  • Eclipse CDT GNU PowerPC Plug-in kostenlos

    Ein Plug-in für eclipse C/C++ Development Tooling (CDT), das neue Projekttypen speziell für die PowerPC C/C++-Entwicklung hinzufügt.

  • XRadar kostenlos

    Offenes Tool für erweiterbare Systemanalyseberichte für Java, basierend auf zahlreichen Open-Source-Analyseinitiativen. Das XML/XSL Batch-Verarbeitungsframework erstellt integrierte HTML/SVG-Berichte über den aktuellen System

  • XML Conformance Testing kostenlos

    Dieses Projekt enthält verschiedene Ressourcen, die an Konformitätstests für XML und verwandte Standards beteiligt sind. Zunächst unterstützt es XML-Tests (SAX/Java und DOM/JavaScript), wobei XML-Schema und andere Standards