Design and validation of computer protocols
著者
書誌事項
Design and validation of computer protocols
(Prentice-Hall software series)
Prentice Hall, c1991
- : pbk
大学図書館所蔵 件 / 全19件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
At head of title: AT & T
Includes bibliographical references and indexes
内容説明・目次
- 巻冊次
-
: pbk ISBN 9780135398340
内容説明
More than just a guide to protocol standards, codes and formats, this text offers a systematic approach for designing complete and consistent protocol systems with the power to govern the interactions of concurrent processes in distributed systems. Specifically intended as a guide to protocol design and analysis, the text familiarizes readers with all the issues of protocol design including general and specific techniques for process co-ordination.
目次
- Part 1 Basic: introduction
- protocol structure
- error control
- flow control. Part 2 Specification and modeling: validation models
- correctness requirements
- protocol design
- finite state machines. Part 3 Conformance testing synthesis and validation: conformance testing
- protocol synthesis
- protocol validation. Part 4 Design tools: a protocol simulator
- a protocol validator
- using the validator.
- 巻冊次
-
ISBN 9780135399255
内容説明
Designed to be more than just a guide to protocol standards, codes and formats, this text offers a systematic approach for designing complete and consistent protocol systems with the power to govern the interactions of concurrent processes in distributed systems. Specifically intended as a guide to protocol design and analysis, the text familiarizes readers with all the issues of protocol design including general and specific techniques for process co-ordination.
目次
- Part 1 Basic: introduction
- protocol structure
- error control
- flow control. Part 2 Specification and modeling: validation models
- correctness requirements
- protocol design
- finite state machines. Part 3 Conformance testing synthesis and validation: conformance testing
- protocol synthesis
- protocol validation. Part 4 Design tools: a protocol simulator
- a protocol validator
- using the validator.
「Nielsen BookData」 より