ESC/Java2

ESC/Java2 2.0 Beta 5

ESC / Java2 е разширена Static Checker за Java. Тя автоматично, статично и модулно открива общи програмни грешки. ESC / Java2 причини за Java програми, които са (по избор) анотации, написани на JML Какво ново в тази версия:. Няма големи...