2021年5月31日
BUAAOO 第三单元总结
摘要： BUAAOO 第三单元总结 一、实现规格所采取的设计策略 1.通读JML 三次作业下来，我都是采取先通读一遍JML规格，大致理解整体的架构，这么做的主要目的就是分析采取的数据结构，以免后面写着写着发现有更高效的数据结构。这里需要做的主要是分析JML规格中对数组的操作，比如第一次作业中Network中 阅读全文
posted @ 2021-05-31 01:22 心臓を捧げよ 阅读(44) 评论(1) 推荐(0) 编辑