实时系统软件开发过程中形式方法的作用

• 作者: 侯建民 李宣东 郑国梁
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 实时系统 形式方法 形式规约 定理证明 形式验证
• 年，卷（期）: 2002,（4）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 23-26,37
• 页数: 5页
• 分类号: TP31
• 字数: 6549字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2002.04.008

摘要

针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法.文章首先对形式方法的含义进行了系统的介绍,然后分析了形式方法的三个分支在实时系统软件开发过程中的作用,即形式规约、定理证明、形式验证,并指出了形式方法当前主要应用的能力以及应用的局限性,最后提出了形式方法的一些主要研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李宣东	南京大学计算机科学系	72	1417	20.0	36.0
2	郑国梁	南京大学计算机科学系	77	1523	21.0	37.0
3	侯建民	南京大学计算机科学系	5	44	4.0	5.0