基本介紹
內容簡介,圖書目錄,
內容簡介
網路協定是計算機網路及數據通信的核心,開發正確、有效的網路協定一直是人們追求的目標。協定工程是指集成化、形式化的協定開發過程,其目的是減少協定開發中潛在的錯誤,提高協定開發的效率和質量。本書以協定工程活動所涉及的各種技術為主線,以介紹基本原理、技術與方法為原則,主要內容包括:協定工程概論、協定設計技術、協定形式化描述技術、協定形式描述語言、協定驗證技術、協定驗證工具、協定一致性測試技術等。各章均附有討論題、思考題及參考文獻。
圖書目錄
目 錄
第1章 概述1
第2章 協定設計技術10
第3章 協定形式化描述技術48
第4章 協定形式描述語言77
第5章 協定驗證技術115
第6章 協定驗證工具135
第7章 協定一致性測試技術165
附錄A 英文縮略詞245