2021年5月29日
BUAA_OO_第三单元总结
摘要： OO_第三单元总结 设计策略 本单元是关于JML的使用，JML可以提供具有严谨逻辑的规格，避免了自然语言描叙需求时可能存在的二义性。在完成作业的过程中我也体会到了JML规格的优势，因为阅读JML基本就是在阅读伪代码，省去了前两个单元理解题意后自行设计各个类和方法的过程。因此客观来说本单元的难度较为平 阅读全文
posted @ 2021-05-29 18:01 mjw0803 阅读(47) 评论(0) 推荐(0)