ESC/Java2 2.0 Beta 5
ESC / Java2 je Extended Static Checker pro Javu. To automaticky, staticky, a modulárně detekuje běžné programové chyby. ESC / Java2 důvody o Java programů, které mají (nepovinné) anotace psané v JML Co je nového v této verzi:. Nejsou žádné...
