摘要： 前言 第三单元的三次作业围绕JML语言展开，和前两个单元一样是难度递进的模式，下一次作业都是上一次作业的扩展和丰富，但是因为有了JML语言的支撑，我对规格化思想和契约式设计有了更深的感受。在理论课上听老师讲JML规格的第一反应就是照着注释写代码，应该难度不大，但是三次作业下来，发现自己了解到的实在浅 阅读全文