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