Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. Community Z Tools

Community Z Tools 1

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 2.8/5 - ‎6 ‎Suara
Download

Proyek Alat Z Komunitas (CZT): Alat untuk mengedit, mengetik, dan menjiwai Z spesifikasi dan notasi terkait. Termasuk kerangka kerja Java untuk membangun alat metode formal.

Riwayat versi

  • Versi 1_5_0 diposting di 2009-02-16
    Beberapa perbaikan dan pembaruan
  • Versi 1_5_0 diposting di 2009-02-16

Detil Program

Program Terkait

  • qDoc Uji Coba Gratis

    Burningbox qDoc data reports editor adalah perangkat lunak yang dapat membuat laporan dari database Anda. Perangkat lunak ini dapat mengakses database yang paling umum. Anda dapat menentukan hingga 250 bagian di dokumen Anda

  • Simpletidy Gratis

    Simpletidy membersihkan dan mengonversi halaman web Anda menjadi XHTML 1.0 yang diformasi dengan baik. Antarmuka yang mudah dan mudah digunakan. Membersihkan dan memperbaiki kode HTML Anda.Menambahkan Doctype yang tepat.

  • Xtrans Gratis

    Editor yang ringkas untuk membangun templat XSL dan menguji transformasinya dengan dokumen XML. Sangat mudah digunakan. Tidak diperlukan pengaturan, alat yang sangat baik untuk penulisan dan debugging XSL.

  • GeoMaker Gratis

    Buat GeoDatabase untuk seluruh dunia. Program ini menciptakan lokasi geografis Lintang, Bujur, dan Ketinggian (Elevation) untuk setiap kota, desa, wilayah, negara bagian, kabupaten di Dunia. Program ini meng-crawl data dari s

  • MotoCast Gratis

    Streaming seluruh koleksi musik, daftar putar, foto, video, dan dokumen Langsung dari komputer Anda! Tidak ada pengunggahan ke server publik, tidak khawatir perangkat Anda kehabisan ruang. Dengan MotoCast, selama Anda tetap

  • The Lemur Project Gratis

    Proyek Lemur mengembangkan mesin pencari, toolbar browser, alat analisis teks, dan sumber daya data yang mendukung penelitian dan pengembangan pengambilan informasi dan perangkat lunak penambangan teks, termasuk mesin pencari

  • Embedded Data Display System Gratis

    Sistem Tampilan Data Tertanam menyediakan pustaka server C++ portabel ringan dan klien berbasis PC (Windows, Linux, atau Mac) yang menangkap dan menampilkan data secara grafis yang dihasilkan oleh perangkat yang disematkan se

  • Eclipse CDT GNU PowerPC Plug-in Gratis

    Plug-in untuk Eclipse C/C++ Development Tooling (CDT) yang menambahkan Jenis Proyek baru khusus untuk pengembangan PowerPC C/C++.

  • XRadar Gratis

    Buka alat laporan analisis sistem yang dapat diperluas untuk Java, berdasarkan berbagai inisiatif analisis sumber terbuka. Kerangka kerja pemrosesan batch XML/XSL menghasilkan laporan HTML/SVG terintegrasi dari status sistem

  • XML Conformance Testing Gratis

    Proyek ini menyelenggarakan berbagai sumber daya yang terlibat dalam pengujian kesesuaian untuk XML dan standar terkait. Awalnya mendukung pengujian XML (SAX/Java dan DOM/JavaScript), dengan Skema XML dan standar lain yang d