软件工程中的形式化方法研究综述

• 作者: 李婉璐
• 来源期刊: 数字技术与应用
• 学科: 工学
• 关键词: 形式化方法 软件方法学 形式化的软件开发
• 年，卷（期）: 2015,（10）
• 所属期刊栏目: 应用研究
• 页码范围: 108-109
• 页数: 2页
• 分类号: TP311.5
• 字数: 2554字
• 语种: 中文

摘要

软件工程中的形式化方法是以数学理论为基础,建立的一种用来解决软件工程领域问题的系统性分析方法.形式化方法通过具有明确语义的形式语言来描述目标软件系统的行为和特征,为目标系统开发提供了一个模型化的有效设计和分析途径,保障了系统的安全性和可靠性.本文简单介绍了形式化方法的研究内容及分类,在软件方法学的研究背景下,对形式化方法在软件系统开发每一个阶段的应用进行了详细分析和综合评价.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李婉璐	宁夏大学数学计算机学院	1	5	1.0	1.0