论文部分内容阅读
传统的软件开发在需求阶段多是采用自然语言描述,因为自然语言自身的矛盾性和语义的模糊性等,在后期的运行中,难以避免软件的很多漏洞。本文针对这一现状,分析和探讨了形式化方法的优势,以形式化语言Pi验算描述交互为例,演示了形式化方法的准确性和采用形式化方法的必要性。
基于Pi验算的流程建模方法探讨
【摘 要】
：
传统的软件开发在需求阶段多是采用自然语言描述,因为自然语言自身的矛盾性和语义的模糊性等,在后期的运行中,难以避免软件的很多漏洞。本文针对这一现状,分析和探讨了形式化
【机 构】
：
四川信息职业技术学院信息工程系
【出 处】
：
自动化技术与应用
【发表日期】
：
2016年4期
其他文献
目的:探讨妊娠期糖尿病（gestational diabetes mellitus,GDM）新生儿脐血血气分析情况及可能影响因素。方法:选择2015年6—8月同济大学附属第一妇婴保健院分娩的单胎GDM孕妇（GDM
医院建设项目主要包含门急诊部、住院部、医技科室、行政办公、后勤保障系统等多项设施,工程建设存在一定特殊性,对工程施工的要求较高。其中电气工程是建筑工程中的重要组成
我国宪法、法律、行政法规都规定了地方权力机关和地方政府的立法权 ,地方立法在区域经济发展中具有十分重要的意义 ,地方立法机关应当积极运用立法职能 ,为健全社会主义法制
中央水泵房是井工煤矿必须设置的主要机电硐室之一。虽然水泵采用变频控制提高了水泵的运行效率,但是整体自动化程度不高以及保护装置不完善,会导致事故的频繁发生。本设计采
淮南市旅游商品开发存在着文化品少,满足游客体验性需求的旅游品少,人才匮乏,销售网络不健全等诸多发展性问题。做亮地方文化牌,与体验性旅游结合,加强创意类和怀旧类旅游商
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
本文研究了动态业务下 ,波分复用光传送网的选路和波长分配问题 ,提出了一种基于备用选路的选路和波长分配算法 .与文献中已有的利用全网信息的备用选路的算法相比 ,该算法能
<正>心内直视术后患者常规入监护室监护,呼吸机辅助呼吸,行动脉穿刺置管连接换能器监测动脉有创血压是一种重要的监测手段,动脉置管后可随时抽取所需的血量,既方便省时,又可
近年来,我国水利事业发展迅猛,建设项目数量不断增加、技术越加复杂,相应的水利技术标准体系日趋完善,标准的程序管理日趋成熟,怎样利用信息化手段来提升管理水平、提高管理