基于Z语言的电信服务系统的形式化规格

• 作者: 彭展
• 来源期刊: 微型电脑应用
• 学科: 工学
• 关键词: Z语言 电信系统 形式化规格 验证
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 开发应用
• 页码范围: 43-45
• 分类号: TP311
• 字数: 2610字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-757X.2012.05.014

摘要

形式化方法是基于数学的系统开发方法,它可以应用于系统开发的各个阶段,包括系统需求、设计、实现、测试等.首先介绍了形式化规格语言Z,接着用Z开发电信服务系统的形式化规格,并对形式化规格进行验证,以期提高电信服务系统的稳定性,也为探测电信服务系统的功能冲突、预防系统缺陷的产生提供研究的基础和支持.

作者信息

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