ESC/Java2 2.0 Beta 5

ESC / Java2 er en udvidet Static Checker for Java. Det automatisk, statisk, og modulært registrerer almindelige programmeringsfejl. ESC / Java2 grunde om Java-programmer, der har (valgfrit) anmærkninger skrevet i JML Hvad er nyt i denne udgivelse:. ...