摘要： 前言 其实直到这个单元结束，对JML的理解也不是很深，对JML最直观的看法就是对着JML规格写代码很舒服，还有JML真的不怎么好写。 当然，针对这三次作业来谈，其实并不是很理解JML在这次作业中占据的主导地位，更像是给了我一份用JML语言写的代码功能说明书，然后由我自己来决定使用怎样的数据结构和算法 阅读全文