10.3969/j.issn.1007-757X.2014.01.009
从类树形流程图到Z语言的形式化规格
在软件工程中,使用Z语言形式化规格可以大大提高软件开发质量,提高稳定性,降低开发成本,但要开发出高质量的形式化规格并通过验证,却需要损耗较多的时间和精力.为使软件开发人员能够较快地并且高质量地开发出基于Z语言的形式化规格,提出一种简明的类树形流程图,并以电信服务系统中的呼叫转移功能模块为例子,详细描述如何把类树形流程图应用到Z语言的形式化规格开发当中,以期为开发人员带来便利,节省开发时间,提高形式化规格的质量.
类树形流程图、Z语言、电信系统、形式化规格
30
TP311(计算技术、计算机技术)
广东石油化工学院青年自然科学项目513023
2014-04-10(万方平台首次上网日期,不代表论文的发表时间)
共3页
28-30