摘要: 日常中,人与人打交道存在权利与责任,以及信任的问题,这些问题会让人与人之间的交往变得困难,那么为了解决这些困扰,在人与人打交道时会用合约的方式来明确下双方的权利责任。 DBC 软件设计中为了确保软件模块的权利与责任,以确保程序的正确性,也引入了合约的概念,这就是DBC(Design By Contr 阅读全文
posted @ 2016-08-31 14:30 MysticGrrrr 阅读(498) 评论(0) 推荐(0) 编辑