从类树形流程图到Z语言的形式化规格

• 作者: 彭展
• 来源期刊: 微型电脑应用
• 学科: 工学
• 关键词: 类树形流程图 Z语言 电信系统 形式化规格
• 年，卷（期）: 2014,（1）
• 所属期刊栏目: 研究与设计
• 页码范围: 28-30
• 页数: 3页
• 分类号: TP311
• 字数: 3054字
• 语种: 中文

摘要

在软件工程中,使用Z语言形式化规格可以大大提高软件开发质量,提高稳定性,降低开发成本,但要开发出高质量的形式化规格并通过验证,却需要损耗较多的时间和精力.为使软件开发人员能够较快地并且高质量地开发出基于Z语言的形式化规格,提出一种简明的类树形流程图,并以电信服务系统中的呼叫转移功能模块为例子,详细描述如何把类树形流程图应用到Z语言的形式化规格开发当中,以期为开发人员带来便利,节省开发时间,提高形式化规格的质量.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	彭展		15	9	2.0	2.0