形式化方法应用于软件再工程

• 作者: 邹俊
• 来源期刊: 科技广场
• 学科: 工学
• 关键词: 形式化 规格说明 再工程 正向工程 逆向工程 程序理解 程序切片
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 研究与探讨
• 页码范围: 6-13
• 页数: 8页
• 分类号: TP311.1
• 字数: 11627字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-4792.2009.05.001

摘要

介绍软件再工程与形式化方法之后,对形式化方法应用于软件再工程过程的国内外现状进行了总结,接着概括了形式化方法支持软件再工程过程的理论与实践基础,探讨了与形式化方法、软件再工程过程相关的主流技术,包括图形化技术、构件技术、复用技术、中间件技术、设计模式抽取技术,得出在软件再工程过程中,将形式化方法与各种技术相结合才能使其顺利实施的结论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邹俊	江西财经大学信息管理学院	8	43	4.0	6.0