2021年5月30日
OO第三单元总结
摘要： oo第三单元作业总结 规格实现策略 本单元我实现规格时按照以下步骤 阅读规格，理解含义 首先可以很明显的将规格分为两部分，异常部分和正常功能部分。 对于正常功能部分，由于JML的严谨性，很简单的意思需要比较长的叙述，所以我会用回车将其分开，并标注好这部分干了什么，如： /*@ public norm 阅读全文
posted @ 2021-05-30 13:44 竟 阅读(47) 评论(0) 推荐(0)