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