形式化方法在软件工程中的应用研究

• 作者: 冯黎波 苗德成
• 来源期刊: 河北科技大学学报
• 学科: 工学
• 关键词: 形式化方法 软件规约形式语言 软件工程 形式系统 规约
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 机械、电子与计算计
• 页码范围: 575-579,597
• 分类号: TP301
• 字数: 5336字
• 语种: 中文

摘要

探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯黎波	河北科技大学理学院	10	33	3.0	5.0
2	苗德成	韶关学院数学与信息科学学院	19	35	3.0	5.0