+612 9045 4394
 
CHECKOUT
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Formal Description Techniques and Protocol Specification, Testing, and Verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) : 3-6 November 1998, Paris, France :  FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) : 3-6 November 1998 - Stan Budkowski

Formal Description Techniques and Protocol Specification, Testing, and Verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) : 3-6 November 1998, Paris, France

FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) : 3-6 November 1998

By: Stan Budkowski (Editor), Ana Cavalli (Editor), Elie Najm (Editor)

Hardcover Published: December 2009
ISBN: 9780412847608
Number Of Pages: 472

Share This Book:

Hardcover

RRP $851.99
$590.25
31%
OFF
or 4 easy payments of $147.56 with Learn more
Ships in 7 to 10 business days

Earn 1181 Qantas Points
on this Book

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies. Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France. Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.

Preface
Committee Members and Invited Speakers
List of Referees
An Algebraic Semantics for Message Sequence Chart Documentsp. 3
Open Estelle - An FDT for Open Distributed Systemsp. 19
A graphical representation and prototype editor for the Formal Description Technique Estellep. 37
Protocol Feature Interactionsp. 59
Limits and possibilities of sequential hashing with supertracep. 75
Fault-oriented Test Generation for Multicast Routing Protocol Designp. 93
Issues in conformance testing : multiple semicontrollable interfacesp. 111
Automatic Test Case Generation of Real Protocols : Framework and Methodologyp. 127
Quality of Service in Integrated Networksp. 143
Enumeration Protocol in Estelle : an exercise in stepwise developmentp. 147
A Design Methodology for the Formal Specification and Verification of Hypermedia Documentsp. 163
Frameworks by means of virtual types - exemplifed by SDLp. 181
SDL-Pattern based Development of a Communication Subsystem for CANp. 197
"On-the-fly Instantiation" of Value-passing Processesp. 215
Solving Asynchronous Equationsp. 231
Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiersp. 249
SDL specification and verification of universal personal computing : with Object GEODEp. 267
Development of a Validation System based on Formal Description Techniques : Application to an Ada Run Time Systemp. 283
Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSEp. 309
A Logical Framework for Distributed Systems and Communication Protocolsp. 327
Exploiting Symmetry in Protocol Testingp. 337
Towards Automatic Distribution of Testers for Distributed Conformance Testingp. 353
On the Improvement of Estelle Based Automatic Implementationsp. 371
Hardware - Software Co-design of embedded telecommunication systems using multiple formalisms for application developmentp. 387
Hardware synthesis from protocol specifications in LOTOSp. 405
Integrating Real Time into Spin : A Prototype Implementationp. 423
CMC : A Tool for Compositional Model-Checking of Real-Time Systemsp. 439
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systemsp. 457
Index of contributorsp. 469
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780412847608
ISBN-10: 0412847604
Series: IFIP Advances in Information and Communication Technology
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 472
Published: December 2009
Publisher: Chapman and Hall
Country of Publication: GB
Dimensions (cm): 23.5 x 15.5  x 2.69
Weight (kg): 1.89

Earn 1181 Qantas Points
on this Book