2022年6月
BUAA_OO_2022 Unit3 总结
摘要： BUAA_OO_2022 Unit3 总结 一、JML与测试 JML是对Java程序进行规格化设计的一种表示语言，它可以消除二义性，帮助我们更好的完成代码。在经历了三次作业后，我对其有了更深的了解和认知。首先就是JML语言相比自然语言确实更加严谨，但一个关键的问题在于，写者要考虑全面通过JML限定完 阅读全文
posted @ 2022-06-04 19:23 微雪如墨 阅读(25) 评论(0) 推荐(0) 编辑