ESC/Java2 2.0 Beta 5
ESC / Java2 є Extended Статична перевірки для Java. Він автоматично, статично і модульно виявляє загальні помилки програмування. ESC / java2 міркування про Java програм, які (опціонально), написаних в анотації JML Що нового У цьому випуску :. Там...