摘要： 第四单元（JML 规格编程，三次迭代） 核心知识点：JML 行为规格语言、契约式编程、图存储与查询优化、容器性能调优、异常规范； 题量：每次作业包含图节点增删、连通性查询、最短路径、换乘路径等十余类查询接口，单次代码量 400~700 行； 难度梯度：HW9 基础无向图（简单）→HW10 有权图 + 阅读全文

摘要： 本阶段三次作业围绕“航班配载系统”逐步深入，从单一货舱的简单装载，到多货舱协同、货物按重量排序分配，最后引入旅客重量与重心平衡计算。整体知识点覆盖：面向对象基础（类、封装、集合）、排序算法（选择排序/冒泡排序）、输入校验、重量与力矩计算。1.三次作业代码量递增。作业1约150行，作业2约250行，作 阅读全文