论文部分内容阅读
概要介绍了SPEC#的基本特性;使用SPEC#开发了若干典型的算法程序,利用该语言中的契约机制来形式化地描述前置条件、后置条件、对象不变式等程序规约,从而显著地提高了程序的可读性、可靠性和可维护性,有助于软件自动化水平的提高.
使用SPEC#开发高可靠性的算法程序
【摘 要】
：
概要介绍了SPEC#的基本特性;使用SPEC#开发了若干典型的算法程序,利用该语言中的契约机制来形式化地描述前置条件、后置条件、对象不变式等程序规约,从而显著地提高了程序的
【机 构】
：
中国科学院软件研究所,工程装备系统工程研究所,江西师范大学计算机信息工程学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2006年12期
【基金项目】
：
国家自然科学基金资助项目（编号：60273092）,国家973重点基础研究发展规划资助项目（编号：2003CCA02800）
其他文献
目的:观察经皮椎体成形术联合唑来膦酸治疗老年骨质疏松性脊柱骨折的临床效果。方法:选取2019年8月—2020年6月我院收治的60例老年骨质疏松性脊柱骨折患者,依据随机数表法分
在大连，几乎每对恋人的脚下都有一条完整的滨海路。滨-海-路，读起来嘴角一波三折：咧开嘴角，张开嘴，嘟起嘴收尾，像女孩子们心机明朗的撒娇。这座城里的恋人们，用一种难以想象的热烈和
随着地质勘查的步步深入,满足要求的矿产资源也是相当的缺乏,这就得通过提升勘查技术才能满足项目所需,在这个的同时还得考虑在进行勘察时的施工质量和安全的问题,依据环境选
文章针对钢丝绳抽油杆的结构特点,首次进行了钢丝绳抽油杆结构阻尼的定性分析,推导了等效结构阻尼和流体粘滞阻尼的计算公式,比较了钢丝绳抽油杆和常规钢杆的阻尼计算结果.计
基于EPC的物联网由射频识别系统、Savant中间件、ONS和PML等核心部件构成。其中Savant是EPC系统获取信息、处理信息和传送信息的关键部位。论文针对Savant中间件的系统构成。
在网格计算中，任务调度是一个重要的组成部分，并被证明为NP完全问题，以启发式方法求解较为适合。针对网格环境异构、分布等特点，文章运用遗传算法原理，结合高度分层排序，提出了一种
目的为保护羌族文化的传承和发展,提高羌族文化产业经济价值,提出一种基于形状文法的羌绣纹样创新方案。该纹样方案既包含羌绣传统民族特征;又与时俱进,符合当代审美。创新纹
文章提出了可仲裁多发送认证系统模型，给出了各方欺骗者实施模仿攻击和替代攻击成功概率的计算公式及下界，说明了在某一个仝水平下．各发送者、接收者、仲裁者应掌握的密钥量。
随着我国土地使用量的逐年提高,土地测量对土地管理越来越重要。但是,目前在土地测量过程中还存在一定的问题,本文分析了土地测量中存在的问题,最后阐述了土地测量工作中的注