采用形式化技术的软件再工程

• 作者: 何彦彬 周华 李少云 段清 沈勇
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 软件再工程 形式化方法 广谱语言
• 年，卷（期）: 2003,（3）
• 所属期刊栏目: 学术探讨
• 页码范围: 84-86
• 页数: 3页
• 分类号: TP311
• 字数: 3506字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.03.028

摘要

形式化技术为软件再工程提供了完备的理论基础,该文对基于软件再工程的形式化方法进行了探讨,提出了一个统一的面向软件再工程的形式化方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何彦彬	云南大学信息技术研究所	15	58	5.0	6.0
2	周华	云南大学信息技术研究所	10	48	4.0	6.0
3	沈勇	云南大学信息技术研究所	10	23	3.0	4.0
4	段清	云南大学信息技术研究所	5	23	3.0	4.0
5	李少云	云南大学信息技术研究所	3	18	3.0	3.0