- Hjemmeside
- KindSoftware
- Utviklerverktøy
- Kvalitetssikring og testing av programvare
ESC / Java2 er en utvidet Static Checker for Java. Det automatisk oppdager statisk, og modulært vanlige programmeringsfeil. ESC / JAVA2 grunner om Java-programmer som har (valgfritt) merknader skrevet i JML Hva er nytt i denne utgaven:. Det er...