ESC/Java2 2.0 Beta 5 ESC / Java2的是擴展的靜態檢查為Java。它會自動，靜態和模塊化檢測常見的編程錯誤。有關已（可選）註釋寫在JML Java程序ESC / Java2的原因 什麼在此版本中是新的： ... 3 Jun 15 在 開發者工具, 質量保證和軟件測試 Linux 閱讀更多
