ESC/Java2 2.0 Beta 5

ESC / Java2 är en utökad statisk Checker för Java. Det automatiskt detekterar statiskt och modulärt vanliga programmeringsfel. ESC / Java2 skäl om Java-program som har (tillval) anteckningar skrivna i JML Vad är nytt i den här versionen:. Det...