ESC/Java2 2.0 Beta 5
ESC / Java2 Java için bir Genişletilmiş Statik Denetleyicisi olduğunu. Otomatik olarak, statik ve modüler ortak programlama hataları algılar. (Isteğe bağlı) ek açıklamalar JML yazdım Java programları hakkında ESC / Java2 nedenleri Bu sürümdeki yeni ...