摘要： 一、前言 本单元围绕着规格化设计开展本单元围绕着“规格化设计”展开，从简单的JML入手，逐步扩展规格化设计的内容。第一次作业是实现一个简单的路径容器，第二次作业在基于路径容器的基础上实现了一个图，第三次作业则深入到应用层级，实现了一个地铁线路查询程序，进一步的与现实贴近 二、JML知识梳理 初次认识 阅读全文