ESC/Java2 2.0 Beta 5
ESC / Java2 è statico Checker estesa per Java. Automaticamente, rileva staticamente e modularmente errori di programmazione più comuni. Motivi ESC / Java2 su programmi Java che sono (opzionale) annotazioni scritte in JML Cosa c'è di nuovo in...