| 使用SPEC#开发高可靠性的算法程序 |
| 其他题名 | developing reliable algorithmic programs using spec#
|
| 郑宇军; 马燕; 薛锦云
|
| 2006
|
| 发表期刊 | 计算机工程与应用
 |
| ISSN | 1002-8331
|
| 卷号 | 42期号:12页码:114-117,130 |
| 摘要 | 概要介绍了SPEC#的基本特性;使用SPEC#开发了若干典型的算法程序,利用该语言中的契约机制来形式化地描述前置条件、后置条件、对象不变式等程序规约,从而显著地提高了程序的可读性、可靠性和可维护性,有助于软件自动化水平的提高. |
| 关键词 | Spec#
形式化方法
算法程序
契约
开发
高可靠性
软件自动化
对象不变式
契约机制
可维护性
基本特性
后置条件
程序规约
形式化
可读性
语言
前置
描述
|
| 部门归属 | 中国科学院软件研究所,北京,100080;工程装备系统工程研究所,北京,100093;工程装备系统工程研究所,北京,100093;中国科学院软件研究所,北京,100080;江西师范大学计算机信息工程学院,南昌,330027
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/11816
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
郑宇军,马燕,薛锦云. 使用SPEC#开发高可靠性的算法程序[J]. 计算机工程与应用,2006,42(12):114-117,130.
|
| APA |
郑宇军,马燕,&薛锦云.(2006).使用SPEC#开发高可靠性的算法程序.计算机工程与应用,42(12),114-117,130.
|
| MLA |
郑宇军,et al."使用SPEC#开发高可靠性的算法程序".计算机工程与应用 42.12(2006):114-117,130.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论