Software screenshot:
Software detaljer:
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:.
- Der er ingen større funktionelle ændringer, men nogle fejlrettelser og oprydning af eksisterende funktioner.
- Dette er beregnet til at være den endelige frigivelse og den første stabile udgave.
Kommentarer ikke fundet