2022年6月3日
BUAA OO 第三单元总结
摘要： BUAA OO 第三单元总结 规格实现策略 本单元的重中之重，便是对于JML规格理解与代码实现 理解并规格的时候，我一般分为下面的几个步骤： 1、先通读一遍规格，结合方法名与具体规格，理解类每个方法的大致功能并简要记录。重点理解方法之间的调用关系，方法之于类的作用等。个人认为不宜读完一个方法就实现一 阅读全文
posted @ 2022-06-03 20:39 ^Sternstunde 阅读(76) 评论(0) 推荐(0) 编辑