Musí mít Zajištění kvality a testování software Pro KindSoftware

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é...