摘要：OO_JAVA_JML系列作业_单元总结 (1)梳理JML语言的理论基础、应用工具链情况 简单梳理 以下三者是jml规格里的核心，对一个方法功能和属性的限制： 1. requires子句：规定方法的前置条件(precondition)； 2. assignable子句：方法的副作用范围限定； 3. 阅读全文

摘要：OO_JAVA_JML系列第三次作业 ————架构之谈 [TOC] 出发点 操作的可分离性 总的来说，我们的计算最短路，计算最少换乘，都可以视作计算一条路径的权值之和，然后找到权值之和最小的那一条路径，返回对应的权值。 所以我的出发点就是：分离出如下两个操作 1. 遍历图结构生成两点间路径 2. 根 阅读全文