2020年5月23日
面向对象设计与构造第三单元作业总结
摘要： 面向对象设计与构造第三单元作业总结 本单元我们主要学习了jml语言的书写以及根据jml语言编写代码；根据作业的背景，我们还复习了图论的相关知识，并学习了新的相关算法。本单元总体来说是对我们代码设计以及代码测试方面的考察，下面是本单元作业的具体总结。 一、JML语言的梳理和相关应用链情况 1.JML概 阅读全文
posted @ 2020-05-23 12:29 qsf 阅读(151) 评论(0) 推荐(0) 编辑