ESC/Java2 2.0 Beta 5 ESC / Java2的是扩展的静态检查为Java。它会自动，静态和模块化检测常见的编程错误。有关已（可选）注释写在JML Java程序ESC / Java2的原因 什么在此版本中是新的： ... 3 Jun 15 在 开发者工具, 质量保证和软件测试 Linux 阅读更多
