摘要： 【OO学习】OO第三单元作业总结 第三单元，我们学习了JML语言，用来进行形式化设计。本单元包括三次作业，通过给定的JML来实行了一个对路径的管理系统，最后完成了一个地铁系统，来管理不同的线路，求得关于价格、换乘、不满意度等最短路信息。 本文将介绍：JML语言理论基础、应用工具链和工具的使用方法；S 阅读全文