从类树形流程图到Z语言的形式化规格
【出 处】:
类树形流程图
Z语言
电信系统
形式化规格
【作 者】:
彭展
【摘 要】在软件工程中,使用Z语言形式化规格可以大大提高软件开发质量,提高稳定性,降低开发成本,但要开发出高质量的形式化规格并通过验证,却需要损耗较多的时间和精力.为使软件开发人员能够较快地并且高质量地开发出基于Z语言的形式化规格,提出一种简明的类树形流程图,并以电信服务系统中的呼叫转移功能模块为例子,详细描述如何把类树形流程图应用到Z语言的形式化规格开发当中,以期为开发人员带来便利,节省开发时间,提高形式化规格的质量.
相关热词搜索:
上一篇:微熵率重构相空间混沌时序预测研究
下一篇:基于全文索引与余弦公式医学文本相似性分析