ESC/Java2 2.0 Beta 5
ESC / Java2 este un extins Checker static pentru Java. În mod automat, detectează static, și modular erorile comune de programare. Motive ESC / Java2 despre programele Java care au (opțional) adnotări scrise în JML Ce este nou în această versiune:. ...