ESC/Java2 2.0 Beta 5
ESC / Java2 jest Rozszerzona Static Checker for Java. Automatycznie, statycznie i modułowo wykrywa typowe błędy programistyczne. Powody ESC / java2 o programy Java, które (opcjonalnie) adnotacje napisanych w JML Co nowego w tym wydaniu:. Nie ma...