Syspect, UML2 diyagramlarını kullanarak bir sistem belirlemek ve bunları resmi doğrulama için CSP-OZ-DC belirtimine çevirmek için bir araçtır.
sürüm geçmişi
- Sürüm 1.5.0 tarihinde gönderildi 2010-05-11
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm 1.5.0 tarihinde gönderildi 2010-05-11
Program Detayları
- Kategori: Eğitim > Diğer
- Yayımcı: syspect.informatik.uni-oldenburg.de
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: 1.5.0
- Platform: windows