Atur cara mengikut www.jmlspecs.org

Bahasa Pemodelan Java (JML) adalah bahasa spesifikasi antara muka tingkah laku yang boleh digunakan untuk menentukan tingkah laku modul Java (seperti dalam reka bentuk dengan kontrak -- DBC). Ia mempunyai banyak alat untuk me