2019年5月21日
【面向对象】第三单元作业总结
摘要： 单元总述 这个单元分为三次作业，主要是给出了JML描述的规格，然后需要我们根据JML描述的规格来写出相应的程序模块。 JML语言的理论基础、应用工具链 语言基础 （部分内容参考于官网） JML全称Java Modeling Language，是一种行为接口规范语言，可用于指定Java模块的行为 。它 阅读全文
posted @ 2019-05-21 17:34 Ryan_W 阅读(214) 评论(0) 推荐(0) 编辑