책 이미지
책 정보
· 분류 : 외국도서 > 컴퓨터 > 클라이언트/서버 컴퓨팅
· ISBN : 9780412847608
· 쪽수 : 472쪽
목차
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. Møller-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. SolvingAsynchronous 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 Performanc