Syspect. Lingkungan Pengembangan Grafis Gratis untuk Himpunan Himpunan UML
Unduh sekarang

Syspect. Peringkat & Ringkasan

Syspect. Tag

menerjemahkan mengembangkan pengembangan lingkungan diagram Translate Diagram. Diagram terjemahan.

Syspect. Keterangan

Lingkungan pengembangan grafis gratis untuk himpunan bagian UML Syspect adalah sumber daya pengembangan grafis gratis dan terbuka untuk subset UML dengan semantik formal sesuai dengan bahasa CSP-OZ-DC. CSP-OZ-DC menggabungkan proses aljabar CSP untuk spesifikasi komunikasi dan perilaku proses, metode objek-Z, yang menjelaskan data dan operasi, dan kalkulus durasi untuk mengkarakterisasi persyaratan berbasis waktu. Syspect memungkinkan pengguna untuk merancang komponen, kelas dan statingiagram. Masalah yang terjadi selama ekspor akan diidentifikasi dan ditandai secara visual. Untuk formalisasi data Alat ini menawarkan kemungkinan input yang berbeda, seperti input grafis untuk spesifikasi-Bahasa Z. Selanjutnya, alat ini terdiri dari editor untuk formula kalkulus durasi. Syspect mendukung penghematan model dalam XMI serta format datanya sendiri. Selain ekspor grafis untuk jenis gambar umum, pengembangan Syspect Lingkapan mendukung ekspor lateks untuk presentasi yang nyaman dari spesifikasi. Syspect menawarkan terjemahan spesifikasi ke ACTOMATA ACARA FASE. Ini dapat dibaca oleh alat periksa model untuk verifikasi (keselamatan-) sifat spesifikasi. Saat ini, koneksi otomatis ke Model Checker Armc tersedia: Model Syspect dapat secara otomatis diverifikasi terhadap formula kalkulus durasi. Jika ARMC mendeteksi kesalahan dan mengembalikan cononter Contoh Syspect memvisualisasikan contoh penghitung ini dengan cara yang ramah pengguna.

Syspect. Perangkat Lunak Terkait