Tarafından Programlar www.jmlspecs.org

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ç