CZT. satu set alat untuk mengedit, mengetik memeriksa dan menjiwai spesifikasi formal yang ditulis dalam Bahasa Spesifikasi Z
Unduh sekarang

CZT. Peringkat & Ringkasan

CZT. Tag

Edit Edit Teks teks Unicode. Teks ejaan Editor Unicode.

CZT. Keterangan

Satu set alat untuk mengedit, mengetik dan menjiwai spesifikasi formal yang ditulis dalam bahasa spesifikasi Z Proyek Komunitas Z Tools (CZT) sedang membangun satu set alat untuk mengedit, mengetik memeriksa dan menjiwai spesifikasi formal yang ditulis dalam bahasa spesifikasi Z, dengan beberapa dukungan untuk ekstensi Z seperti objek-Z, Circus, dan TCOZ. Alat-alat ini semua dibangun menggunakan kerangka kerja java CZT untuk Z Tools.beta-versi dari pengguna akhir alat CZT sekarang dimasukkan dalam rilis CZT (unduh). Ini termasuk editor Z berbasis Jedit yang memberikan pengeditan WYSIWYG dari Markup Unicode untuk Z, penyisipan berbasis templat dari konstruksi Z untuk lateks dan markup unicode, pemeriksaan otomatis otomatis pada setiap simpan .CZT juga mencakup panel sidekick yang menunjukkan struktur Anda Z Spesifikasi, konversi antara markup yang berbeda dan jauh lebih banyak. Berikut adalah beberapa fitur utama "CZT": · Markup skema XML untuk Z. · Kelas Java untuk Z Pohon Sintaks beranotasi (AST). · Kelas Java untuk mengkonversi antara XML dan Java AST. · Perpustakaan Java untuk operasi umum yang dibutuhkan dalam setiap alat Z (Markup-Converters, Parser, Type-Checker, dll.). Sebuah makalah yang menggambarkan ini telah disajikan pada ZB2005. · Editor Z grafis, dengan fasilitas untuk dengan mudah memasukkan simbol Unicode Z khusus. Saat ini kami menyediakan Plugin Jedit dan Eclipse. · Alat animasi z yang disebut Zlive, dengan antarmuka pengguna grafis yang dapat disesuaikan. · Alat ekspor, hingga output Z dalam notasi lain atau untuk alat Z lainnya. · Perpanjangan versi perpustakaan dan alat untuk mendukung ekstensi Z seperti objek-z dan sirkus. Persyaratan: · Java. Apa yang baru dalam rilis ini: · Banyak perubahan dan alat baru.

CZT. Perangkat Lunak Terkait