电信协议资料工程跟形式化方法.pdfVIP

浙 江 大 学 学 报 工学版 第 卷第 期 ’ ).?!@)?# ! # 年 月 ()*+,-.)/01234-,56,472+849:;,54,22+4,5=42,=2’ (-,?$%%! $%%! # 电信协议工程与形式化方法 褚秉华 仇佩亮 G 浙江大学 信息与电子工程系 浙江 杭州 G !#%%$’ 摘 要 通过分析电信协议的特点以及目前在开发电信协议中遇到的困难 提出了用电信协议工程的方法来开发 A G 电信协议 并详细概述了电信协议工程的各个环节 介绍了电信协议工程的核