摘要: 面向对象第三单元总结 设计策略 我们JML规格能够用一定格式的语法,严谨地将方法与类的属性与功能表示出来,所以规格本身不仅仅是要求,更是对方法与类的设计的线索与提示。 通过规格描述,我们可以大致了解到那些成员属性是需要修改的,方法可能需要怎样的数据结构;可以通过requires/ensures,我们 阅读全文
posted @ 2021-06-01 19:11 月下天弦 阅读(45) 评论(0) 推荐(0)