However, DbC considers these contracts to be so crucial to software correctness that they should be part of the design process.
然而DbC认为这些契约对于软件的正确性至关重要，它们应当是设计过程的一部分。