微型电脑应用2012，Vol.28Issue(5)：43-45,3.
基于Z语言的电信服务系统的形式化规格
Formal Specification of Telecommunication Service System Based on Z Language
摘要
Abstract
Formal method is a kind of system development method that based on mathematics. It can be applied to each stage of system development,including system requirement,design,implementation and test. In this article,firstly,it is the introduction of formal specification language Z,then using Z to develop formal specification of telecom service system,and verify the formal specification. The developed formal specification can enhance the stability of telecommunication service,while providing research foundation and support for detecting function clash and preventing system defect.关键词
Z语言/电信系统/形式化规格/验证Key words
Z Language/Telecommunication System/Formal Specification/Verification分类
信息技术与安全科学引用本文复制引用
彭展..基于Z语言的电信服务系统的形式化规格[J].微型电脑应用,2012,28(5):43-45,3.
