ESC/Java2 2.0 Beta 5
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...
