摘要： 在第三单元中，我们接触了契约式编程，学习了JML的语法，感受到了它的优点和不足。这一单元的作业与以往两个单元完全不同，我们不再是从零开始编写程序，而要根据给定的JML实现特定接口，使得程序能够正确运行。很明显，这种编程方式更加贴近当下工业界的开发过程。 JML带来了很多改变。一方面，它束缚了我们的手 阅读全文