1.The three factors: precondition,postcondition and invariant in the design by contract on guaranteeing the business component trustworthiness are analyzed.重点分析了契约式设计如何通过前置条件、后置条件和不变式3要素保证业务构件的可信,并给出具体的实例来说明。 2.By summarizing its application in test ca...
4) pre-condition 前置条件 1. The method uses the pre-condition and post condition which the services must be met as a judge matching criteria,and this can speed up the matching of services and improve the matching accuracy,and prove the effectiveness of the method in the practical ...
The qualitative rule generator based on cloud model is composed of the precondition cloud generator and the postcondition cloud generator. If a specific point a on the domain U1 is given, the certainty degree distribution of point a to concept C1 is generated through the cloud generator, then ...
and postcondition, the question of eligibility of two models for combination can be stated as: If the postcon- dition of model A fulfills the weakest precondition of model B, model B can be used/invoked after model A in the combined process AB. Then a new postcondition for model AB is...
2) program postcondition 程序后置条件3) precondition [英][,pri:kən'dɪʃn] [美]['prikən'dɪʃən] 前置条件 1. The three factors: precondition,postcondition and invariant in the design by contract on guaranteeing the business component trustworthiness are analyzed. 重点分析...
6) pre-condition 前置条件 1. The method uses the pre-condition and post condition which the services must be met as a judge matching criteria,and this can speed up the matching of services and improve the matching accuracy,and prove the effectiveness of the method in the practical ...
Vulnerability has been widely studied in socio-hydrology, economics, medicine, ecology, and many other fields [11,12,13,14]. Vulnerability is commonly characterized as the condition of being open, exposed, or prone to injury or attack. In catastrophology, Zheng thought that damage and loss ...