2021年5月31日
OO第三单元总结
摘要： OO第三单元总结 设计策略 ​ 本单元作业的内容是基于JML规格实现一个社交网络。本单元作业看似只需要一板一眼地根据课程组提供的JML规格完成自己的代码，便可以确保程序的正确性，轻松通过弱测和中测，但是实际上并没有那么简单，本单元的强测对于程序的性能具有较高的要求，我第一次作业就单纯地按照JML规格 阅读全文
posted @ 2021-05-31 18:57 周辰育 阅读(192) 评论(0) 推荐(0)