عنوان

Formal Description Techniques and Protocol Specification, Testing and Verification :

0387353941

9780387353944

b540303

Formal Description Techniques and Protocol Specification, Testing and Verification :

[Book]

FORTE XI/PSTV XV2I'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 XV2I) 3-6 November 1998.

Stan Budkowski

Boston, USA

Springer US

1998

(460 pages).

IFIP advances in information and communication technology.

FORMAL DESCRIPTION TECHNIQUES AND PROTOCOL SPECIFICATION, TESTING AND VERIFICATION; Editor's page; Copyright; CONTENTS; PREFACE; Comittee Members and Invited Speakers; LIST OF REFEREES; PART ONE FDTs Extensions; AN ALGEBRAIC SEMANTICS FOR MESSAGE SEQUENCE CHART DOCUMENTS; Open Estelle --;An FDT for Open Distributed Systems; A GRAPHICAL REPRESENTATION AND PROTOTYPE EDITOR FOR THE FORMAL DESCRIPTION TECHNIQUE ESTELLE *; PART TWO Verification 1; PROTOCOL FEATURE INTERACTIONS; LIMITS AND POSSIBILITIES OF SEQUENTIAL HASHING WITH SUPERTRACE; PART THREE Test 1. FAULT-ORIENTED TEST GENERATION FOR MULTICAST ROUTING PROTOCOL DESIGNISSUES IN CONFORMANCE TESTING: MULTIPLE SEMICONTROLLABLE INTERFACES; AUTOMATIC TEST CASE GENERATION OF REAL PROTOCOLS: FRAMEWORK AND METHODOLOGY; Invited Talk II; Quality of Service in Integrated Networks; PART FOUR Methodology 1; Enumeration protocol in Estelle: an exercise in stepwise development; A DESIGN METHODOLOGY FOR THE FORMAL SPECIFICATION AND VERIFICATION OF HYPERMEDIA DOCUMENTS; PART FIVE Methodology 2; Frameworks by means of virtual types --;exemplified by SDL. SDL-Pattern based Development of a Communication Subsystem for CAN *PART SIX Verification 2; "ON-THE-FLY INSTANTIATION" OF VALUE-PASSING PROCESSES; Solving asynchronous equations; Shared Variables and Efficient Synchronization Primitives for Synchronous Symbolic Verifiers; PART SEVEN Case Studies; SDL SPECIFICATION AND VERIFICATION OF UNIVERSAL PERSONAL COMPUTING WITH OBJECTGEODE; Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System; Full-Automatic Implementation of Protocol Programs for OSI Application Protocols over ROSE. Invited Talk illA LOGICAL FRAMEWORK FOR DISTRIBUTED SYSTEMS AND COMMUNICATION PROTOCOLS; PART EIGHT Test 2; EXPLOITING SYMMETRY IN PROTOCOL TESTING; Towards Automatic Distribution of Testers for Distributed Conformance Testing; PART NINE Hardware/Software Development; On the improvement of Estelle based automatic implementations; Hardware --;Software co-design of embedded telecommunication systems; HARDWARE SYNTHESIS FROM PROTOCOL SPECIFICATIONS IN LOTOS; PART TEN Real-Time & Performance; INTEGRATING REAL TIME INTO SPIN: A PROTOTYPE IMPLEMENTATION. CMC: A TOOL FOR COMPOSITIONAL MODEL-CHECKING OF REAL-TIME SYSTEMSTWOTOWERS: A TOOL INTEGRATING FUNCTIONAL AND PERFORMANCE ANALYSIS OF CONCURRENT SYSTEMS; INDEX OF CONTRIBUTORS.

Stan Budkowski

Ana Cavalli

Elie Najm

Stan Budkowski

[Book]

Y