1) condition subsequent
随后条件
3) accompanying condition
伴随条件
4) postcondition
后置条件
1.
The three factors: precondition,postcondition and invariant in the design by contract on guaranteeing the business component trustworthiness are analyzed.
重点分析了契约式设计如何通过前置条件、后置条件和不变式3要素保证业务构件的可信,并给出具体的实例来说明。
5) pre/post-condition
前(后)条件
6) post-condition
后置条件
补充资料:随后
1.紧随其后。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条