Program menurut www.jmlspecs.org

Java Modeling Language (JML) adalah bahasa spesifikasi antarmuka perilaku yang dapat digunakan untuk menentukan perilaku modul Java (seperti dalam desain berdasarkan kontrak -- DBC). Ini memiliki banyak alat untuk melakukan p