- Hjemmeside
- KindSoftware
- Udviklingsværktøjer
- Kvalitetssikring og test af software
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:. ...