1) 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.
介绍了一种将形式化方法应用于逆工程的具体实现方法,应用最强后条件的形式化技术对命令语言进行逆工程的具体初步实践,分三阶段对源程序进行抽象以得到严格保证正确性和一致性的软件结构规格说明,并且给出了具体的实现方法。
2) Strongest postcondition
最强后置条件
3) partial strongest post-condition
部分最强后置条件
4) final controlled conditions
最后控制条件
5) qualified ultimatum
附条件的最后通牒
补充资料：椐椐强强
1.相随貌。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条