- Főoldal
- KindSoftware
- Fejlesztői eszközök
- Minőségbiztosítás és tesztelés szoftver
ESC / Java2 egy kiterjesztett Static Checker for Java. Automatikusan, statikusan, és modulárisan érzékeli közös programozási hibákat. ESC / Java2 okokból Java programok is (nem kötelező) megjegyzések írt JML. Mi az új ebben a kiadásban: Nincsenek...