论文部分内容阅读
随着目前软件形式化开发方法的不断发展,形式化方法逐渐趋于多元化,在实际进行系统开发的过程中形式化方法的选择成为了一项非常难的题目,为了解决这一问题,本文主要针对目前常用的形式化方法进行了分析,应充分结合软件开发人员实际系统开发的需求,提出了一些系统开发过程中形式化开发方法的选择的合理建议。
软件形式化开发方法的选择策略探讨
【摘 要】
：
随着目前软件形式化开发方法的不断发展,形式化方法逐渐趋于多元化,在实际进行系统开发的过程中形式化方法的选择成为了一项非常难的题目,为了解决这一问题,本文主要针对目前
【机 构】
：
中国石油集团电能有限公司电力研究设计院信息部
【出 处】
：
信息周刊
【发表日期】
：
2019年3期
其他文献
保证工程项目的顺利进行是地质工程勘察的主要目的。通过地质 工程勘察,获取有关的数据,工程设计人员可以借助勘察数据,制定合 理的设计方案,从而确保工程施工的有序进行。本
为了解辽宁省辽阳市1955～2007年传染病发生和流行规律，评价传染病防制效果，为政府制定传染病防制策略提供科学依据，本文对辽阳市1955～2007年传染病疫情进行分析。结果报告如下。
2011年12月19日至23日以及2012年4月24日至25日这两个时间段,中国足球反赌扫黑大审判在辽宁铁岭、丹东、沈阳、鞍山4地法院进行。围绕这个重大事件,前往采访的国内众多媒体记
设计编写了用于溶解热测量实验的软件,特点是直观易用,功能较多,可在实验中记录原始数据并图示体系温度的变化;设计了由易到难的几种数据处理方案,学生可根据自己的能力选择。
生活知音财经参谋在楚天都市报成长的15年里,经济部也一同壮大,部门采编人员由当初的8名扩大到27位。经济部始终关注经济社会发展的变迁和万象,时刻保持着经济社会＂瞭望者＂的姿
现阶段,在我国社会经济建设水平日渐提升的背景下,建筑行业 整体发展愈发迅速,而建筑工程数量也有所提升。然而在此过程中,安 全问题在整个建筑行业中变得愈发突出。在建筑工
为了研究火电企业化验室现行管理现状,在“立三维,益精准”框架下依托行业特点与最新管理规范,探索人力资源激励化管理精髓。首先明确了火电厂化验室工作性质及现实意义,然后
公路与桥梁的建设与规划对一个城市的发展起着重要作用。公路和桥梁构成了国家交通运行的主要脉络,它们对整个国家的经济发展起着关键性的作用。由于长期的交通运输会对公路
《农村新报》在新闻报道中探索出了一条可行路径：做负责任的新闻策划,做善策划的责任媒体,将责任意识贯穿新闻策划的始终,通过新闻策划更好地彰显媒体责任,实现新闻价值和社会
自然资源开发利用权是一个庞大的物权体系.该体系的客体是多元的,竖立客体上的权利是多元的,由此决定其物权归属也是多元的.至少包括自物权,用益物权和准用益物权三类.传统物