论文部分内容阅读
形式化技术为软件逆工程提供严格和完备的理论基础,但应用于实践的非常少.介绍了一种将形式化方法应用于逆工程的具体实现方法,应用最强后条件的形式化技术对命令语言进行逆工程的具体初步实践,分三阶段对源程序进行抽象以得到严格保证正确性和一致性的软件结构规格说明,并且给出了具体的实现方法.
形式化技术应用于软件逆工程的实践研究
【摘 要】
：
形式化技术为软件逆工程提供严格和完备的理论基础,但应用于实践的非常少.介绍了一种将形式化方法应用于逆工程的具体实现方法,应用最强后条件的形式化技术对命令语言进行逆
【机 构】
：
北京科技大学计算机科学与技术系
【出 处】
：
计算机工程与设计
【发表日期】
：
2005年5期
其他文献
【正】"沟通"的理论和实践,可以说早已自成体系,营销或管理的教材里有非常系统的精辟论述。管理大师马云曾说过:"学习成功学越多,离成功越远。"受此鼓舞,我才敢无惧知识浅薄,
6月4日上午，应上海正特焊接器材制造有限公司董事长项有通先生的邀请，《现代焊接》杂志、中国焊接资讯网的记者来到上海正特焊接器材制造有限公司（正特焊接第一生产基地）进行参观
CAPP系统的数据库中存储了大量的工艺设计资料,如何充分利用这些宝贵的数据和信息是一项非常有意义的研究工作.通过对数据挖掘技术的深入分析,提出了将数据挖掘技术应用于CAP
近期，中国社科院金融所所长李扬表示．依靠较高的投资率，中国经济有望在今年下半年重新回到快速增长的通道，成为率先走出经济下滑的国家。
目的探讨尿崩症的药物治疗。方法选取临床2013年3月~2014年10月收治的80例尿崩症患者的临床治疗资料进行分析。结果 80例尿崩症经治疗有效,患者饮水量、尿量明显减少,食欲改
仿真模型联邦成员SOM描述了该联邦成员在联邦运行过程中能够公布和需要预定的数据及相关信息。它的开发是分析和设计装备保障训练联邦对象模型（FOM）的基础，也是仿真模型联邦成员
近期，酒钢集团公司与张掖市40亿立方米煤制天然气多联产项目签约，该项目是2011年甘肃省内的重点项目，总投资220亿元，建设周期4年，是煤炭资源清洁高效利用的新能源产业。
随着商业环境的日益复杂化,对企业流程的管理受到越来越多的重视,基于BPEL的流程组合方法得到了广泛的业界支持.首先研究了Web服务业务流程执行语言（web service business pro
本文利用半自动埋弧焊机制备了试板。采用光学显微镜、拉伸试验机、弯曲试验机以及夏比冲击实验机对焊接接头的金相组织及力学性能进行了观察及测试。结果表明:焊缝区域的组