ESC/Java2 2.0 Beta 5
ESC / Java2 является Extended Статическая проверки для Java. Он автоматически, статически и модульно обнаруживает общие ошибки программирования. ESC / java2 соображения о Java программ, которые (опционально) аннотации, написанные в JML Что нового В...