Institutional Repository
| 使用SPEC#开发高可靠性的算法程序 | |
| Alternative Title | developing reliable algorithmic programs using spec# |
| 郑宇军; 马燕; 薛锦云 | |
| 2006 | |
| Source | 计算机工程与应用
 |
| ISSN | 1002-8331 |
| Volume | 42Issue:12Pages:114-117,130 |
| English Abstract | 概要介绍了SPEC#的基本特性;使用SPEC#开发了若干典型的算法程序,利用该语言中的契约机制来形式化地描述前置条件、后置条件、对象不变式等程序规约,从而显著地提高了程序的可读性、可靠性和可维护性,有助于软件自动化水平的提高. |
| Keyword | Spec# 形式化方法 算法程序 契约 开发 高可靠性 软件自动化 对象不变式 契约机制 可维护性 基本特性 后置条件 程序规约 形式化 可读性 语言 前置 描述 |
| Department | 中国科学院软件研究所,北京,100080;工程装备系统工程研究所,北京,100093;工程装备系统工程研究所,北京,100093;中国科学院软件研究所,北京,100080;江西师范大学计算机信息工程学院,南昌,330027 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11816 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 使用SPEC#开发高可靠性的算法程序.p（345KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment