Komunitas Z Alat. Alat untuk mengedit, mengetik dan menjiwai spesifikasi Z dan notasi terkait
Unduh sekarang

Komunitas Z Alat. Peringkat & Ringkasan

Komunitas Z Alat. Tag

masyarakat peralatan mengedit alat TipeChecking Tools.

Komunitas Z Alat. Keterangan

Alat untuk mengedit, typechecking dan menjiwai spesifikasi Z dan notasi terkait Komunitas Z Tools (CZT) proyek membangun satu set alat untuk mengedit, typechecking dan menjiwai spesifikasi resmi yang ditulis dalam bahasa Z spesifikasi, dengan beberapa dukungan untuk ekstensi Z seperti Object-Z dan TCOZ. Alat-alat ini semua dibangun menggunakan kerangka CZT Java alat bantu Z. Bahasa Z spesifikasi diadopsi sebagai standar ISO pada tahun 2002. Proyek ini dapat digunakan untuk tepat menentukan persyaratan atau perilaku sistem , dan menganalisis bahwa perilaku melalui bukti, animasi, generasi tes dll Namun, salah satu hambatan terbesar untuk meluasnya penggunaan bahasa Z spesifikasi tampaknya menjadi masalah proyek support.Many alat telah dibangun alat Z, beberapa kualitas produk , sebagian besar sebagai proyek siswa. Beberapa dari mereka yang terintegrasi satu sama lain; Beberapa dukungan semua standar ISO baru; lebih sedikit lagi membangun bersama untuk membentuk jenis lingkungan terpadu yang pengembang mulai ide expect.Many baik telah dikembangkan untuk tahap prototipe, dan kemudian telah hilang sebagai proyek telah selesai dan mahasiswa atau peneliti telah pindah. Jumlah kali permintaan untuk Z parser muncul di Z newsgroup menunjukkan banyak orang yang memproduksi alat-alat, yang sebagian besar tidak akan pernah terlihat di luar lembaga mereka sendiri. Upaya terpadu akan bergerak maju keadaan alat-alat, dan dengan demikian mengambil-up dari tujuan Z.Our adalah untuk mendorong pertukaran antara alat Z yang ada (melalui format XML interchange standar untuk Z), dan untuk menyediakan perpustakaan open-source untuk membangun dan mengintegrasikan alat Z baru. Perangkat lunak kami sedang membangun tidak / akan mencakup: 1. XML Schema markup untuk Z. Lihat yang ZB2003 proses untuk kertas yang menjelaskan markup.2 ini. kelas Java untuk Z dijelaskan pohon sintaks (AST) 0,3. kelas Java untuk mengkonversi antara XML dan AST.4 Jawa. perpustakaan Java untuk operasi umum yang diperlukan di setiap alat Z (markup-konverter, parser, jenis-checker, ekspansi skema dll). Sebuah makalah yang menjelaskan ini akan dipresentasikan pada ZB2005.5. Satu atau lebih sederhana grafis Z editor, dengan fasilitas untuk dengan mudah memasuki simbol Z unicode khusus. Awalnya kami menggunakan jEdit.6. Sebuah alat Z animasi disebut ZLive, dengan pengguna interface.7 grafis disesuaikan. Ekspor alat, untuk output Z di notasi lain atau alat bantu Z lainnya. (Misalnya, keluaran HTML, LaTeX output, penerjemahan ke B dan JML) 0,8. versi diperpanjang dari perpustakaan dan alat untuk mendukung ekstensi Z seperti Object-Z dan TCOZ. Apa yang baru dalam rilis ini: · Rilis ini adalah snapshot dari semua alat CZT yang saat ini sedang dikembangkan, termasuk alat-alat untuk Z, Object-Z dan Circus bahasa spesifikasi formal. · Czt_1_5_0_bin.jar adalah rilis biner CZT, yang dapat digunakan sebagai program GUI atau program baris perintah. Sebagai contoh: · 1. Klik pada file .jar untuk membuka CZT GUI. · 2. Atau apakah 'java-jar czt_1_5_0_bin.jar' untuk membuka CZT GUI. · 3. Do 'java-jar czt_1_5_0_bin.jar --help' untuk menggunakan antarmuka baris perintah. · Czt_1_5_0_eclipse_plugin.zip adalah plugin CZT untuk Eclipse 3.4. Untuk menginstalnya, hanya unzip file .zip ini ke folder Eclipse tingkat atas (salah satu yang berisi 'fitur' dan direktori 'plugin'), kemudian restart Eclipse. · The 'File / New / Lainnya ... / CZT CZT Proyek /' perintah dapat digunakan untuk membuat sebuah proyek CZT baru, dan kemudian 'File / New / Z Keterangan' untuk membuat spesifikasi Z. Ada panduan CZT di halaman 'Bantuan / Bantuan Isi' Eclipse. · Anda juga harus menginstal font CZT berikut. · CZTSans_1_5_0.ttf adalah font Bitstream Vera dengan semua karakter Unicode untuk Z menambahkan. Anda harus menginstal ini pada sistem Anda sehingga Eclipse dan jEdit editor dapat menampilkan karakter Unicode yang benar untuk Z. PERINGATAN: pada sistem Windows font ini dapat menyebabkan beberapa program Microsoft untuk kecelakaan - misalnya. Visual Studio Form Designer memberikan kesalahan akses memori ilegal jika font ini diinstal pada sistem. · Czt_1_5_0_src.zip berisi semua file sumber CZT, termasuk informasi svn. Untuk kompilasi, Anda akan memerlukan versi terbaru dari Jawa dan Maven. Lihat file INSTALL.txt untuk rincian.

Komunitas Z Alat. Perangkat Lunak Terkait