2021年6月1日
面向对象第三单元总结
摘要： 实现规格所采取的设计策略总结 首先需要先通读一遍官方仓库里给出的JML规格，大致对需要填写的类和方法有一个整体的印象，根据具体方法的实现初步确定需要的容器和实现细节。 实现各个类的方法时也应该从功能单一的底层类如处理异常的类和Person这样的简单类入手，最后在填写Network。 具体实现方法时应 阅读全文
posted @ 2021-06-01 19:56 ihgc 阅读(51) 评论(0) 推荐(0)