上位词
契约式设计
热度:461
简介
契约式设计或者design by contract (dbc)是一种设计计算机软件的方法。这种方法要求软件设计者为软件组件定义正式的,精确的并且可验证的接口,这样,为传统的抽象数据类型又增加了先验条件、后验条件和不变式。这种方法的名字里用到的“契约”或者说“契约”是一种比喻,因为它和商业契约的情况有点类似。
| 中文名 | 契约式设计 |
|---|---|
| 原始名称 | 契约式设计 |
| 外文名 | design by contract |
| 定义 | 一种设计计算机软件的方法 |
| 精选上位词 | 方法 |
| 缩写 | dbc |
| 英文名 | design by contract |
相关实体