ESC/Java2

ESC/Java2 2.0 Beta 5

ESC / Java2 เป็นแบบคงที่ขยายตัวตรวจสอบสำหรับ Java มันโดยอัตโนมัติแบบคงที่และชุดที่ตรวจพบข้อผิดพลาดที่พบบ่อยในการเขียนโปรแกรม ESC / Java2 เหตุผลเกี่ยวกับโปรแกรม Java ที่ได้ (ถ้ามี) คำอธิบายประกอบที่เขียนใน JML มีอะไรใหม่ ในข่าวประชาสัมพันธ์ฉบับนี้. ...