摘要: 第三单元作业总结 一、总结分析实现规格要求所采取的设计策略 本单元作业为实现JML规格所描述的代码实现,由于本单元作业的程序主干逻辑已经实现,只需要根据JML规格的描述,实现功能就能完成,所以本单元的作业的代码逻辑设计难度比较低,主要难度在于部分实现的代码的时间复杂度。 在具体实现方面,我是先实现的 阅读全文
posted @ 2021-06-01 21:24 白屋出宫卿 阅读(37) 评论(0) 推荐(0)