【摘 要】
：
介绍了形式化方法B方法和OOZS方法,从软件开发的角度对二者进行了比较,归纳了异同和各自适用范围。不同形式规格说明语言有各自的特点及适用范围。OOZS语言目前尚缺乏严格的
论文部分内容阅读
介绍了形式化方法B方法和OOZS方法,从软件开发的角度对二者进行了比较,归纳了异同和各自适用范围。不同形式规格说明语言有各自的特点及适用范围。OOZS语言目前尚缺乏严格的形式理论基础,使得OOZS语言的自动推理工具和验证工具的开发尚缺乏坚实的基础。B方法中的精华和实现是很多形式化开发方法所没有的,他在规格说明的基础上可直接生成可执行系统,并在整个开发过程中通过正确性验证,保证了软件产品的高可靠性、可移植性和可维护性,有效地提高软件的生产率。
其他文献
分别从数据库、PC管理、手机显示三方面介绍平台的设计原则和功能,并以应用为前提,对系统的维护和管理做了充分的考虑。本平台的设计满足科技时代信息化的需求,将具有广阔的
单板中阻燃剂载药量的多少直接影响着阻燃胶合板的阻燃性能。单板进行阻燃剂浸泡过程中，影响其载药量的因素较多，如单板初含水率、浸泡时间、阻燃剂浓度及阻燃剂温度等。对影响
伴随着互联网、IoT和AI的技术创新,汽车产业也迎来了新四化(CASE)——网联化(Connected)、自动化(Autonomous)、共享化(Shared)和电动化(Electric)新时代。新时代下的汽车始
介绍了快速傅立叶变换（FFT）技术敲击板材检测弹性模量数控检测设备的工作原理及组成，并在此基础上描述了检测板材的工艺过程，说明该检测设备具有准确快速等特点。
构建新型农村社会养老保险制度是中国＂十二五＂时期社会保障建设的重要任务。＂新农保＂实施一年多以来在制度设计上有较大创新,但在覆盖面、资金筹集、与其他制度的衔接和资金的管
目的:提出一种基于滑动块的深度卷积神经网络局部分类、整图乳腺肿块分割的算法,为临床诊断提供有效的肿块形态特征。方法:首先通过区域生长算法和膨胀算法提取患者乳腺区域,
本试验通过研究影响竹柏扦插生根的主要因子:一是促生根激素品种;二是促生根激素浓度;三是激素处理时间、来探索竹柏扦插生根的关键技术。田间试验采用3因子3水平正交试验设
党的十七大报告提出,促进国民经济又好又快发展,实现未来经济发展目标,关键要加快转变经济发展方式,推动产业结构优化升级,这是关系国民经济全局紧迫而重大的战略任务。建设