ESC/Java2 2.0 Beta 5
ESC / Java2 là một mở rộng tĩnh Checker cho Java. Nó tự động, tĩnh, và mô đun phát hiện các lỗi lập trình phổ biến. Lý do ESC / Java2 về các chương trình Java đã (tùy chọn) chú thích viết bằng JML là gì mới trong phiên bản này:. Không có thay đổi...
