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