Cel mai bun Software Pentru KindSoftware
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:. ...
ESC proiect / Java2 Frontend analizează Java codul sursă 1.4 și Java bytecode 1.5 într-un Rezumat Sintaxa copac care poate fi folosit pentru Extended Verificarea statică.Extended Checker static pentru Java versiunea 2 (ESC / Java2) este un instrument de...