基于契约式设计 ( DesignBy Contract, DBC ) 这一理论是由BetrandMeyer 提出的.用英语怎么说？

基于契约式设计 ( DesignBy Contract, DBC ) 这一理论是由BetrandMeyer 提出的.

Design by Contract ( DBC ) is mentioned by Betrand Meyer.

design

vt.& vi. 设计，绘制；vt. 设计，计划，企图，决意（做）；n. 设计，图案，结构，计划；vi. 设计略图，（为工艺品、装潢项目等）设计，当设计师，构思；

例句
The design of the ground floor created ample space for a good-sized kitchen.
底层的设计为建一个大厨房提供了充足的空间。

by

prep. 在…旁边，表示方式，由于，经过；adv. 经过，表示保留或保存时用，短暂拜访；

例句
...expensive make-up that we saw being advertised by a beautiful model...
我们所见的由一位漂亮模特代言的昂贵化妆品

contract

n. 合同，契约，协议；

例句
The House of Lords affirmed that the terms of a contract cannot be rewritten retrospectively.
上议院申明合同条款改写后不具备追溯效力。

DBC

abbr. diameter bolt circle 螺栓孔直径，dry breast care 乳房干燥呵护，dye-binding capacity 染料混合能力；

例句
Design by Contract ( DBC ) is mentioned by Betrand Meyer.
基于契约式设计 ( DesignBy Contract, DBC ) 这一理论是由BetrandMeyer 提出的.

is

vt.& vi. 是（be的三单形式；n. 存在；

例句
Bollinger 'RD' is a rare, highly prized wine.
博林格RD香槟是一种名贵的备受推崇的葡萄酒。

mentioned

v. 提到( mention的过去式和过去分词 )，说起，提名表扬，传令嘉奖；

例句
They appear to rule out some of the ideas that have been mentioned — banding the tax so higher earners would pay more.
他们看来要剔除其中提到的一些想法——如把税率分档，使收入越高，缴得越多。