One FDTs Extensions. - 1. An Algebraic Semantics for Message Sequence Chart Documents. - 2. Open Estelle An FDT for Open Distributed Systems. - 3. A graphical representation and prototype editor for the Formal Description Technique Estelle. - Two Verification 1. - 4. Protocol Feature Interactions. - 5. Limits and possibilities of sequential hashing with supertrace. - Three Test 1. - 6. Fault-oriented Test Generation for Multicast Routing Protocol Design. - 7. Issues in conformance testing : multiple semicontrollable interfaces. - 8. Automatic Test Case Generation of Real Protocols : Framework and Methodology. - 9. Quality of Service in Integrated Networks. - Four Methodology 1. - 10. Enumeration Protocol in Estelle : an exercise in stepwise development. - 11. A Design Methodology for the Formal Specification and Verification of Hypermedia Documents. - Five Methodology 2. - 12. Frameworks by means of virtual types exemplifed by SDL. - 13. SDL-Pattern based Development of a Communication Subsystem for CAN. - Six Verification 2. - 14. On-the-fly Instantiation of Value-passing Processes. - 15. Solving Asynchronous Equations. - 16. Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers. - Seven Case Studies. - 17. SDL specification and verification of universal personal computing : with Object GEODE. - 18. Development of a Validation System based on Formal Description Techniques : Application to an Ada Run Time System. - 19. Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSE. - 20. A Logical Framework for Distributed Systems and Communication Protocols. - Eight Test 2. - 21. Exploiting Symmetry in Protocol Testing. - 22. Towards Automatic Distribution of Testers for Distributed Conformance Testing. - NineHardware/Software Development. - 23. On the Improvement of Estelle Based Automatic Implementations. - 24. Hardware Software Co-design of embedded telecommunication systems using multiple formalisms for application development. - 25. Hardware synthesis from protocol specifications in LOTOS. - Ten Real-Time & Performance. - 26. Integrating Real Time into Spin : A Prototype Implementation. - 27. CMC : A Tool for Compositional Model-Checking of Real-Time Systems. - 28. TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. - Index of contributors. Language: English