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 /
Gorde:
| Egile korporatiboa: | , |
|---|---|
| Beste egile batzuk: | , , |
| Formatua: | Conference Proceeding Liburua |
| Hizkuntza: | English |
| Argitaratua: |
Boston ; London :
Kluwer Academic Publishers,
c1998.
|
| Saila: | International Federation for Information Processing (Series) ;
6. |
| Gaiak: | |
| Sarrera elektronikoa: | Publisher description Table of contents only |
Aurkibidea:
- Machine derived contents note: Preface. Part I: FDTs Extensions. 1. An Algebraic Semantics for Message Sequence Chart Documents; T. Gehrke, et al. 2. Open Estelle - An FDT for Open Distributed Systems; J. Thees, R. Gotzhein. 3. A Graphical Representation and Prototype Editor for the Formal Description Technique Estelle; J. Templemore-Finlayson, et al. Part Two: Verification 1. 4. Protocol Feature Interactions; T.F. LaPorta, et al. 5. Limits and Possibilities of Sequential Hashing with Supertrace; J. Eckerle, T. Lais. Part Three: Test 1. 6. Fault-Oriented Test Generation for Multicast Routing Protocol Design; A. Helmy, et al. 7. Issues in Confromance Testing: Multiple Semicontrollable Interfaces; M.A. Fecko, et al. 8. Automatic Test Case Generation of Real Protocols: Framework and Methodology; T-H. Kim, et al. 9. Quality of Service in Integrated Networks; P.J. Kuehn. Part Four: Methodology 1. 10. Enumeration Protocol in Estelle: an Exercise in Stepwise Development; P. Dembinski. 11. A Design Methodology for the Formal Specification and Verification of Hypermedia Documents; C.A.S. Santos, et al. Part Five: Methodology 2. 12. Frameworks by Means of Virtual Types - Exemplified by SDL; R. Braek, B. Ml̜ler-Pedersen. 13. SDL-Pattern Based Development of a Communication Subsystem for CAN; B. Geppert, et al. Part Six: Verification 2. 14. On-the-fly Instantiation of Value-Passing Processes; H. Lin. 15. Solving Asynchronous Equations; A. Petrenko, N. Yevtushenko. 16. Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers; S.V. Aguiar Campos. Part Seven: Case Studies. 17. SDL Specification and Verification of Universal Personal Computing: With Object GEODE; M. Toro, et al. 18. Development of a Validation System Based on Formal Description Techniques: Application to an Ada Run Time System; G. Huecas, et al. 19. Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSE; T. Hasegawa, et al. 20. A Logical Framework for Distributed Systems and Communication Protocols; J. Meseguer. Part Eight: Test 2. 21. Exploiting Symmetry in Protocol Testing; J. Romijn, J. Springintveld. 22. Towards Automatic Distribution of Testers for Distributed Conformance Testing; C. Jard, et al. Part Nine: Hardware/Software Development. 23. On the Improvement of Estelle Based Automatic Implementations; O. Catrina, A. Nogai. 24. Hardwaer &endash; Software Co-Design of Embedded Telecommunication Systems Using Multiple Formalisms for Application Development; N.S. Voros, et al. 25. Hardware Synthesis from Protocol Specifications in LOTOS; K. Yasumoto, et al. Part Ten: Real-Time & Performance. 26. Integrating Real Time Into Spin: A Prototype Implementation; D. Bosnacki, D. Dams. 27. CMC: A Tool for Compositional Model-Checking of Real-Time Systems; F. Laroussinie, K.G. Larsen. 28. TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems; M. Bernardo, et al. Index of Contributors.