2020年5月23日
OO Unit3 单元总结
摘要： 第三单元OO作业总结 ​ 本单元的作业主要针对JML建模语言进行训练，建立对于方法规格和数据规格的认识，学习了契约式编程(Design by Contract)的编程方法与规格化设计理念。现对这一单元做一个小结。 JML语言理论基础 ​ JML以Javadoc的注释形式表示规格，每个方法的规格均在该 阅读全文
posted @ 2020-05-23 11:57 Steve_Z 阅读(113) 评论(0) 推荐(0)