预约以关系契约法学说及合同的生活史理论为存在依托，体现了当事人主动对合同的缔结过程进行安排、控制的意图。

Precontract is based on the theory of the Relational Contract Law and Life of Contract, which reflect the parties' intention to control the process to make a forward contract.

youdao

契约式设计的“严重失败”性质把契约行为的调试简化为每个过程的意图被清晰地规定。

DbC's "fail hard" property simplifies the debugging of contract behavior as the intended behavior of each routine is clearly specified.

youdao

契约式设计的“严重失败”性质把契约行为的调试简化为每个过程的意图被清晰地规定。

DbC's "fail hard" property simplifies the debugging of contract behavior as the intended behavior of each routine is clearly specified.

youdao