05 2019 档案

OO_JML_单元总结
摘要：OO_JML_单元总结 概述 本单元作业主要学习的是规格化设计，即契约式编程，主要工作是根据所给出的JML规格描述，实现相应接口来满足功能需求。而本次作业在实现接口的同时要注意对数据结构的把控，并对功能实现算法进行优化，减少云心那个时间，避免出现TLE。 一、梳理JML语言的理论基础、应用工具链情况 阅读全文
posted @ 2019-05-22 20:13 Sraey7 阅读(209) 评论(0) 推荐(0) 编辑