Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. Community Z Tools

Community Z Tools 1

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 2.8/5 - ‎6 ‎Undi
Muat turun

Projek Alatan Z Komuniti (CZT): Alatan untuk mengedit, menaip dan menganimasikan Z spesifikasi dan notasi yang berkaitan. Termasuk rangka kerja Java untuk membina alat kaedah formal.

sejarah versi

  • Versi 1_5_0 diposkan pada 2009-02-16
    Beberapa pembaikan dan pengemaskinian
  • Versi 1_5_0 diposkan pada 2009-02-16

Butiran Atur Cara

Atur Cara Berkaitan

  • qDoc Percubaan Percuma

    Burningbox qDoc data laporan editor adalah perisian yang boleh membuat laporan dari pangkalan data anda. Perisian ini boleh mengakses pangkalan data yang paling biasa. Anda boleh menentukan sehingga 250 bahagian dalam dokumen

  • Simpletidy Percuma

    Mudah membersihkan dan menukar laman web anda kepada XHTML 1.0 yang berpengetahuan baik. Mudah dan mudah digunakan antara muka. Membersihkan dan membetulkan kod HTML anda.Menambah Doctype yang betul.Membetulkan sarang b

  • Xtrans Percuma

    Editor padat untuk membina templat XSL dan menguji transformasi mereka dengan dokumen XML. Sangat mudah digunakan. Tiada persediaan diperlukan, alat yang sangat baik untuk pengarang dan penyahpepijatan XSL.

  • GeoMaker Percuma

    Buat GeoDatabase untuk seluruh dunia. Program ini mewujudkan lokasi geografi Latitud, Longitud, dan Altitud (Elevation) untuk setiap bandar raya, kampung, rantau, negeri, daerah di Dunia. Program ini merangkak data dari laman

  • MotoCast Percuma

    Strim keseluruhan koleksi muzik, senarai main, foto, video dan dokumen anda terus dari komputer anda! Tiada muat naik ke pelayan awam, tidak perlu risau tentang peranti anda kehabisan ruang. Dengan MotoCast, selagi anda meny

  • The Lemur Project Percuma

    Projek Lemur membangunkan enjin carian, bar alat pelayar, alat analisis teks, dan sumber data yang menyokong penyelidikan dan pembangunan mendapatkan maklumat dan perisian perlombongan teks, termasuk enjin carian Indri dan da

  • Embedded Data Display System Percuma

    Sistem Paparan Data Terbenam menyediakan perpustakaan pelayan C++ mudah alih ringan dan PC (Windows, Linux, atau Mac) berasaskan pelanggan yang menangkap dan memaparkan data grafik yang dihasilkan oleh peranti tertanam sepert

  • Eclipse CDT GNU PowerPC Plug-in Percuma

    Pemalam untuk Eclipse C/C++ Development Tooling (CDT) yang menambah Jenis Projek baru khusus untuk pembangunan PowerPC C/C++.

  • XRadar Percuma

    Alat laporan analisis sistem yang boleh diperluas terbuka untuk Jawa, berdasarkan pelbagai inisiatif analisis sumber terbuka. Rangka kerja pemprosesan kumpulan XML/XSL menghasilkan laporan HTML/SVG bersepadu keadaan semasa si

  • XML Conformance Testing Percuma

    Projek ini menjadi tuan rumah pelbagai sumber yang terlibat dalam ujian pematuhan untuk XML dan piawaian yang berkaitan. Pada mulanya ia menyokong ujian XML (SAX/Java dan DOM/JavaScript), dengan XML Schema dan piawaian lain