摘要： 第三单元学习了JML规格描述语言，根据JML的规定编写对应的方法，同时也复习了数据结构的知识，并且也考察了程序的时间复杂度。 一.JML语言 理论基础 JML全名为Java Modeling Language(Java建模语言)，在Java代码中增加一些不影响程序正常编译运行的符号用来标识一个方法是 阅读全文