clo3o

摘要： 今天写完并发表了阅读笔记4 明天准备继续学习javaweb 阅读全文

摘要： 按合约设计 按合约设计（Design by Contract，DBC）是一种基于合约的软件开发方法，它借鉴了现实世界中合约的概念，明确模块之间的权利与责任。在软件系统中，每个函数或方法都有其特定的职责，DBC通过定义前条件、后条件和类不变项来规范这种职责。 前条件是调用方在调用函数前必须满足的条件， 阅读全文