Software screenshot:
Podrobnosti Software:
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é významné funkční změny, ale některé opravy chyb a vyčištění stávajících funkcí.
- Toto má být finální verze a první stabilní verze.
Komentáře nebyl nalezen