2020年5月23日
北航2020年OO第三单元总结
摘要： 1. JML 理论基础 1.1 初识 JML JML（Java Modeling Language），顾名思义，就是用于对 Java 程序进行规格化设计的一种表示语言。第三单元我们的学习目标是“掌握规格化的面向对象设计方法”，而 JML 就能很好地表示规格抽象，为我们的代码书写保驾护航； 按照本人的 阅读全文
posted @ 2020-05-23 00:30 _菜鸡 阅读(250) 评论(0) 推荐(0) 编辑