使用SPEC#开发高可靠性的物流信息系统
文献类型：期刊论文
| 作者 | 郑宇军 ; 王金全 ; 薛锦云 |
| 刊名 | 计算机工程与设计
 |
| 出版日期 | 2006 |
| 期号 | 22页码:4178-4182 |
| 关键词 | SPEC# 形式化方法 契约 不变式 物流信息系统 |
| 中文摘要 | 结合形式化软件开发方法和面向对象的方法学,使用SPEC#开发物流信息管理系统,利用该语言中的前置条件、后置条件、对象不变式等形式化机制显著地提高了软件的可读性、可靠性和可维护性。系统地总结了分析、设计和编码阶段的经验和问题,提出了应用SPEC#进行契约式程序设计的一组原则和建议,并分析了该语言存在的不足和改进策略。 |
| 公开日期 | 2011-07-13 |
| 源URL | [http://124.16.136.157/handle/311060/11818]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | 郑宇军,王金全,薛锦云. 使用SPEC#开发高可靠性的物流信息系统[J]. 计算机工程与设计,2006(22):4178-4182. |
| APA | 郑宇军,王金全,&薛锦云.(2006).使用SPEC#开发高可靠性的物流信息系统.计算机工程与设计(22),4178-4182. |
| MLA | 郑宇军,et al."使用SPEC#开发高可靠性的物流信息系统".计算机工程与设计 .22(2006):4178-4182. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。