2019年5月22日
JML契约式设计——第三单元学习小结
摘要： 一、前言 本单元作业都是关于JML(Java Modeling Language)，JML是一种契约式设计(Design by Contract)的语言，契约式设计的主要目的是希望程序员能够在设计程序时明确地规定一个模块单元（具体到面向对象，就是一个类的实例）在调用某个操作前后应当属于何种状态，它强 阅读全文
posted @ 2019-05-22 19:44 藤原千花 阅读(249) 评论(1) 推荐(1) 编辑