05 2019 档案

BUAA-OO 第三单元作业 JML 总结与思考
摘要：一、需求分析 利用java线程的相关知识实现 1）实现两个容器类 Path 和 PathContainer JML规格⼊⻔级的理解和代码实现 2）实现容器类 Path 和数据结构类 Graph JML规格进阶级的理解和代码实现、设计模式的简单实战，以及单元测试的初步使用尝试。 3）实现容器类 Pat 阅读全文
posted @ 2019-05-22 11:29 Ryan0v0 阅读(233) 评论(0) 推荐(0)