Communication protocol engineering. (2018)

• Record Type: Book
• Further Information: Note: Miroslav Popović.
• Authors: Popović, Miroslav, 1961-
• Contents: INTRODUCTION; The Notion of the Communication Protocol; References; REQUIREMENTS AND ANALYSIS; Use Case Diagrams; Collaboration Diagrams; Requirements and Analysis Example; References; DESIGN; Class Diagrams; Object Diagrams; Sequence Diagrams; Activity Diagrams; Statechart Diagrams; Deployment Diagrams; Specification and Description Language; Message Sequence Charts; Tree and Tabular Combined Notation; Examples; References; IMPLEMENTATION; Component Diagrams; The Spectrum of FSM Implementations; State Design Pattern; Implementation Based on the FSM Library; Examples; References; TEST AND VERIFICATION; Unit Testing; Conformance Testing; Formal Verification Based on Theorem Proving; Statistical Usage Testing; Examples; Further Reading; References; FSM LIBRARY; Introduction; Basic FSM System Components; Time Management; Memory Management; Message Management; TCP/IP Support; Global Constants, Types, and Functions; API Functions; A Simple Example with Three Automata Instances; A Simple Example with Network-Aware Automata Instances; INDEX
• Edition: Second edition
• Publisher Details: Boca Raton : CRC Press
• Publication Date: 2018
• Extent: 1 online resource, illustrations (black and white)
• Subjects: 621.38212; Computer network protocols; Computer networks -- Standards
• Languages: English
• ISBNs: 9781351837408
• Related ISBNs: 9781420009880; 9781351828710; 9781315221519
• Notes: Note: Description based on CIP data; resource not viewed.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.