Institutional Repository
| 使用SPEC#开发高可靠性的物流信息系统 | |
| 郑宇军; 王金全; 薛锦云 | |
| 2006 | |
| Source | 计算机工程与设计
 |
| Issue | 22Pages:4178-4182 |
| English Abstract | 结合形式化软件开发方法和面向对象的方法学,使用SPEC#开发物流信息管理系统,利用该语言中的前置条件、后置条件、对象不变式等形式化机制显著地提高了软件的可读性、可靠性和可维护性。系统地总结了分析、设计和编码阶段的经验和问题,提出了应用SPEC#进行契约式程序设计的一组原则和建议,并分析了该语言存在的不足和改进策略。 |
| Keyword | Spec# 形式化方法 契约 不变式 物流信息系统 |
| Department | 工程装备系统工程研究所,工程装备系统工程研究所,中国科学院软件研究所 北京100093,中国科学院软件研究所,北京100080,北京100093,北京100080,江西师范大学计算机信息工程学院,江西南昌330027 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11818 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 郑宇军,王金全,薛锦云. 使用SPEC#开发高可靠性的物流信息系统[J]. 计算机工程与设计,2006(22):4178-4182. |
| APA | 郑宇军,王金全,&薛锦云.(2006).使用SPEC#开发高可靠性的物流信息系统.计算机工程与设计(22),4178-4182. |
| MLA | 郑宇军,et al."使用SPEC#开发高可靠性的物流信息系统".计算机工程与设计 .22(2006):4178-4182. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 使用SPEC#开发高可靠性的物流信息系统（420KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment