论文部分内容阅读
B方法是一种软件形式化方法。支持从规格说明到代码生成的整个软件开发周期。本文比较系统地分析了B方法规格说明的构造结构。并结合所设计的实例演示了用B方法编写规格说明的过程，简略地给出了其规格说明的证明义务。并对其规格说明进行了一次精化。
B方法规格说明的构造及应用
【摘 要】
：
B方法是一种软件形式化方法。支持从规格说明到代码生成的整个软件开发周期。本文比较系统地分析了B方法规格说明的构造结构。并结合所设计的实例演示了用B方法编写规格说明
【机 构】
：
江西师范大学计算机信息工程学院,上饶师范学院数学与计算机系,湖州师范学院计算机信息工程学院
【出 处】
：
计算机与现代化
【发表日期】
：
2007年5期
其他文献
根据改进型中值滤波和开-闭灰度形态学滤波算子设计了一种基于门限递归中值滤波和灰度形态学滤波组合优化算法，该算法弥补了中值滤波在噪声强度较高时去噪能力下降快的缺点。
计算机取证技术正成为当今国内外研究与开发的热点。融合各个方面的犯罪证据成为计算机取证研究的一个主要内容。本文在数据融合入侵取证模型的基础上重点对融合中心控制台进
针对沥青路面裂缝的产生,从施工角度入手,从施工各环节分析了裂缝产生的原因,提出在施工过程中预防裂缝产生的措施,从而延长道路使用寿命.
通过对Windows98操作系统"备份"工具的使用，发现该工具的确非常实用。你也许会不再去寻找别的备份／恢复工具。1．关于"备份"工具在操作计算机的过程中，偶尔的误操作，或者系统出错，或
我爸爸是公司的销售总监。有一天，我闲着无聊，就在家里翻箱倒柜地找旧东西。忽然，我发现了一张工作证，上面写着“总经理：XXX”。我很奇怪，便跑过去问正在洗衣服的爸爸：“爸爸，你不是
基于某高层建筑交易大厅结构设计不符合消防规范的情况，结合结构特点及建筑内人员和消防设施的设置，提出性能化消防设计的思路。设定火灾场景，利用FDS模拟烟气运动，利用Pathfinde
<正>采用国产Nd:YAG激光,波长1 064nm,532nm;设置个性化技术参数,术前术后照相对比疗效。结果:125例患者经1~5次治疗(每次治疗间隔2~3个月),咖啡斑、雀斑32例中痊愈21例,显效
在实际应用中经常会有些反映层次结构的数据,它们以多级编目的形式存储在库表中,为了能够直观地展示它们的层次关系往往需要通过编程来实现.本文通过对Oracle 的SQL语句的妙
＂俄罗斯科学遗产＂数字图书馆是俄罗斯科学院联合俄罗斯其他科学院共同建设的跨部门、跨地域的分布式信息资源系统,建设与发展的目标和任务明确。各科研机构的图书馆、档案馆、