1) partial strongest post-condition
部分最强后置条件
2) Strongest postcondition
最强后置条件
3) strongest post-condition
最强后条件
1.
A method with the use of strongest post-condition to the practice of reverse engineering of command program language is introduced.
介绍了一种将形式化方法应用于逆工程的具体实现方法,应用最强后条件的形式化技术对命令语言进行逆工程的具体初步实践,分三阶段对源程序进行抽象以得到严格保证正确性和一致性的软件结构规格说明,并且给出了具体的实现方法。
4) partial weakest precondition
部分最弱前置条件
5) postcondition
后置条件
1.
The three factors: precondition,postcondition and invariant in the design by contract on guaranteeing the business component trustworthiness are analyzed.
重点分析了契约式设计如何通过前置条件、后置条件和不变式3要素保证业务构件的可信,并给出具体的实例来说明。
6) post-condition
后置条件
补充资料：部分性前置胎盘
部分性前置胎盘
为前置胎盘的一种类型。宫颈内口部分为胎盘组织所覆盖。有前置胎盘的临床特点，即无痛性无诱因的反复阴道流血。但在部分性时初次出血时间较完全性前置胎盘晚，而较边缘性前置胎盘早，出血量亦介乎于上两者之间。B型超声检查可以助诊。处理见前置胎盘条目。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条