【摘 要】
：
在软件工程中,使用Z语言形式化规格可以大大提高软件开发质量,提高稳定性,降低开发成本,但要开发出高质量的形式化规格并通过验证,却需要损耗较多的时间和精力.为使软件开发
【基金项目】
：
广东石油化工学院青年自然科学项目（513023）
论文部分内容阅读
在软件工程中,使用Z语言形式化规格可以大大提高软件开发质量,提高稳定性,降低开发成本,但要开发出高质量的形式化规格并通过验证,却需要损耗较多的时间和精力.为使软件开发人员能够较快地并且高质量地开发出基于Z语言的形式化规格,提出一种简明的类树形流程图,并以电信服务系统中的呼叫转移功能模块为例子,详细描述如何把类树形流程图应用到Z语言的形式化规格开发当中,以期为开发人员带来便利,节省开发时间,提高形式化规格的质量.
其他文献
纺织纤维性能随温湿度变化,为使测试结果真实反映纤维的性能状况,使试验结果具有可比性.要求进行不同温湿度下的纤维性能试验,而这不同温湿度环境一般均为低湿高精度的恒温恒
本文简述了施耐德电气公司Zelio Logic系列智能逻辑继电器的功能，并利用它改造了FA503型棉纺环锭细纱机。实践证明：该控制系统线路简单、工作可靠并兼有自诊断显示功能，是产品技
目的探讨临床护理路径应用于增生性糖尿病视网膜病变合并白内障行玻璃体切割术患者的效果评价。方法选取2016年4月至2017年4月我院收治的86例增生性糖尿病视网膜病变合并白内
目的：研究灌注因子（f-map）成像在辅助临床诊疗中的应用。方法：通过小鼠试验和临床病例，基于对f-map成像分析结果和临床病理诊断结果的对比，来探索f-map在实际临床中的应用。结果：发
第二十二届日本国际食品配料和添加剂展览会及会议(ifia Japan 2017)/第十五届日本健康食品、功能食品展览会和会议(HFE Japan 2017)于2017年5月24日~26日在日本东京Big Sigh