2020年5月21日
OO_第三单元总结
摘要： 一、JML理论基础 1.概览 在概述JML之前我想我们应该首先了解契约式设计（Design by Contract, DbC）。DbC要求在软件程序设计时明确每一个模块单元在调用前后的状态变化，抽象出来就是要求明确前置条件、后置条件和不变式。和诸多设计模式一样，DbC可以说是一种方法学，一种软件开发 阅读全文
posted @ 2020-05-21 18:47 shilu90 阅读(194) 评论(0) 推荐(0)