Java Modelleme Dili (JML), Java modüllerinin davranışını belirtmek için kullanılabilen bir davranış arabirimi belirtimi dilidir (sözleşmegereği tasarımda olduğu gibi -- DBC). Bu iddia kontrol, birim testi, vb yapmak için birçok araç vardır.
sürüm geçmişi
- Sürüm plugins tarihinde gönderildi 2011-02-13
Çeşitli düzeltmeler ve güncelleştirmeler - Sürüm N/A tarihinde gönderildi 2011-02-13
Program Detayları
- Kategori: Geliştirme > Diğer
- Yayımcı: www.jmlspecs.org
- Lisans: Ücret -siz
- Fiyat: N/A
- Sürüm: Array
- Platform: linux