2019年5月22日
当代码遇到数理逻辑——面向对象设计与构造第三章总结
摘要： 在面向对象课程中的第三章，我尝试了基于JML语言的规格化设计，按照 中的接口文件实现了 类和 迭代类。JML语言是一种规格化语言，完全建立于数理逻辑上，既能够为开发者实现类与方法时提供准确的功能参考，也能够在特定工具支持下充当 的功能和辅助自动生成测试样例。 本篇博客将从以下几方面对第三章进行总结： 阅读全文
posted @ 2019-05-22 21:56 youzn99 阅读(328) 评论(1) 推荐(0)