使用SPEC#开发高可靠性的算法程序

• 作者: 薛锦云 郑宇军 马燕
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: SPEC# 形式化方法 算法程序 契约
• 年，卷（期）: 2006,（12）
• 所属期刊栏目: 产品、研发、测试
• 页码范围: 114-117,130
• 页数: 5页
• 分类号: TP311
• 字数: 2771字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.12.034

摘要

概要介绍了SPEC#的基本特性;使用SPEC#开发了若干典型的算法程序,利用该语言中的契约机制来形式化地描述前置条件、后置条件、对象不变式等程序规约,从而显著地提高了程序的可读性、可靠性和可维护性,有助于软件自动化水平的提高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛锦云	中国科学院软件研究所	77	745	15.0	23.0
5	郑宇军	中国科学院软件研究所	13	51	4.0	6.0
9	马燕		2	5	2.0	2.0