2019年5月22日
2019OO第三单元作业总结
摘要： OO第三单元的作业主题是JML规格化设计，作业以图及图的最短路径相关计算为载体，体现接口的规格化设计。 一、JML语言的理论基础和应用工具链 JML是一种形式化的、面向JAVA的行为接口规格语言（behavioral interface specification language），它混合了Jav 阅读全文
posted @ 2019-05-22 15:26 杨久春 阅读(131) 评论(0) 推荐(0) 编辑