然而，契约式设计认为契约对于软件的正确性至关首要，它们该当是设计过程的一项目组。

However, DbC considers these contracts to be so crucial to software correctness that they should be part of the design process.

youdao

然而，契约式设计认为契约对于软件的正确性至关首要，它们该当是设计过程的一项目组。

However, DbC considers these contracts to be so crucial to software correctness that they should be part of the design process.

youdao