2019年5月22日
BUAA_OO第三单元作业总结——JML
摘要： BUAA_OO第三单元作业总结——JML 单元任务 本单元的主要内容是熟悉JML相关的理论知识，能够根据JML规格实现对应方法，通过一步步实现地铁系统来熟悉JML规格。 一、JML语言的理论基础、应用工具链 1. JML语言的理论基础 JML(Java Modeling Language)是用于对J 阅读全文
posted @ 2019-05-22 18:03 轩鸢 阅读(209) 评论(0) 推荐(0) 编辑