Dapat na may Software Para sa KindSoftware
ESC / Java2 ay isang Pinalawig Static Checker para sa Java. Ito ay awtomatikong, statically, at modularly Nakikilala karaniwang mga error programming. ESC / Java2 dahilan tungkol sa mga programa ng Java na (opsyonal) annotation nakasulat sa JML Ano ang...
ESC proyekto / Java2 Frontend parses Java 1.4 source code at Java 1.5 bytecode sa isang Abstract Syntax Tree na maaaring magamit para sa pinalawig Static Checking.Ang Extended Static Checker para sa Java na bersyon 2 (ESC / Java2) ay isang programming...
Kamakailan tiningnan Aplikasyon