دانلود کتاب 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

فهرست مطالب :

Front Matter....Pages i-xi
Front Matter....Pages 1-1
An Algebraic Semantics for Message Sequence Chart Documents....Pages 3-18
Open Estelle — An FDT for Open Distributed Systems....Pages 19-36
A Graphical Representation and Prototype Editor for the Formal Description Technique Estelle....Pages 37-55
Front Matter....Pages 57-57
Protocol Feature Interactions....Pages 59-74
Limits and Possibilities of Sequential Hashing with Supertrace....Pages 75-90
Front Matter....Pages 91-91
Fault-Oriented Test Generation for Multicast Routing Protocol Design....Pages 93-109
Issues in Conformance Testing: Multiple Semicontrollable Interfaces....Pages 111-126
Automatic Test Case Generation of Real Protocols: Framework and Methodology....Pages 127-140
Quality of Service in Integrated Networks....Pages 143-143
Front Matter....Pages 145-145
Enumeration protocol in Estelle: an exercise in stepwise development....Pages 147-162
A Design Methodology for the Formal Specification and Verification of Hypermedia Documents....Pages 163-178
Front Matter....Pages 179-179
Frameworks by means of virtual types — exemplified by SDL....Pages 181-196
SDL-Pattern based Development of a Communication Subsystem for CAN....Pages 197-212
Front Matter....Pages 213-213
“On-the-Fly Instantiation” of Value-Passing Processes....Pages 215-230
Solving asynchronous equations....Pages 231-247
Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers....Pages 249-263
Front Matter....Pages 265-265
SDL Specification and Verification of Universal Personal Computing with Objectgeode....Pages 267-282
Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System....Pages 283-307
Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSE....Pages 309-324
A Logical Framework for Distributed Systems and Communication Protocols....Pages 327-333
Front Matter....Pages 335-335
Exploiting Symmetry in Protocol Testing....Pages 337-352
Towards Automatic Distribution of Testers for Distributed Conformance Testing....Pages 353-368
Front Matter....Pages 369-369
On the improvement of Estelle based automatic implementations....Pages 371-386
Hardware — Software co-design of embedded telecommunication systems....Pages 387-403
Hardware Synthesis from Protocol Specifications in LOTOS....Pages 405-420
Front Matter....Pages 421-421
Integrating Real Time Into Spin: A Prototype Implementation....Pages 423-438
CMC: A Tool for Compositional Model-Checking of Real-Time Systems....Pages 439-456
Twotowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems....Pages 457-467
Back Matter....Pages 469-469