摘要: JML 规格设计分析 一、设计分析 1. 路径容器的规格设计 第一次作业需要实现一个路径管理系统,可以通过输入各种指令来进行数据的增删改查等操作。同时这一单元的三次作业中,都没有性能分的要求,有的只是受限制的 CPU 时间,这一次作业的 CPU 时间是 10 秒以内,又因为第一次作业设计的部分很少, 阅读全文
posted @ 2019-05-21 21:08 Delicate1989 阅读(335) 评论(0) 推荐(0) 编辑