網路協定工程

基本信息

• 名稱：網路協定工程
• 作者：吳禮發
• 價格：39.90元
• ISBN：9787121131301
• 出版社：電子工業出版社
• 開本：16開
• 出版時間：2011年4月1日

內容簡介

網路協定工程

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

圖書目錄

目錄

第1章概述1

第2章協定設計技術10

第3章協定形式化描述技術48

第4章協定形式描述語言77

第5章協定驗證技術115

第6章協定驗證工具135

第7章協定一致性測試技術165

附錄A英文縮略詞245