摘要： OO的奇妙冒险3——JML与设计规范 目录 JML理论与工具 验证方法与报告 自动样例及其生成与评判 架构设计与重构 bug 心得体会 JML理论与工具 JML是一种通过形式验证，在实现代码之前就保证所写代码正确性的有效手段 总的来说，JML实现了这样一种功能，即设计与实现分离。构造JML的与写代码 阅读全文