摘要: Java第三单元总结 本单元总览 本单元主要要求阅读并理解JML规格,在此基础上选择合适的数据结构实现规格所描述的方法和类,从而构建出整个代码模型。 难点在于JML的阅读,数据结构的选择,时间复杂度的优化。 一、总结分析自己实现规格所采取的设计策略 对于规格设计策略,笔者在本单元的学习中并未摸索出来 阅读全文
posted @ 2021-05-28 10:28 CpyKing 阅读(77) 评论(0) 推荐(0)