2021年6月1日
面向对象第三单元总结
摘要： 一、针对规格所采取的设计策略 本单元的所有设计都是围绕给出的规格来展开的，所以读懂规格、正确理解每条规格的意义，是完成设计的第一步。 1、“翻译”每一条规格 JML的语法规则我们已经学习过，所以想要看懂JML规格并不是难事，但我们要做的不只是看懂，而是要理解。 以第一次作业中Network类getP 阅读全文
posted @ 2021-06-01 21:51 oo博士 阅读(53) 评论(0) 推荐(0) 编辑