|
" Formal Description Techniques and Protocol Specification, Testing and Verification : "
Stan Budkowski
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
720608
|
| Doc. No
|
:
|
b540303
|
| Main Entry
|
:
|
Stan Budkowski
|
| Title & Author
|
:
|
Formal Description Techniques and Protocol Specification, Testing and Verification : : 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
|
| Publication Statement
|
:
|
Boston, USA: Springer US, 1998
|
| Series Statement
|
:
|
IFIP advances in information and communication technology.
|
| Page. NO
|
:
|
(460 pages).
|
| ISBN
|
:
|
0387353941
|
|
|
:
|
: 9780387353944
|
| Contents
|
:
|
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.
|
| LC Classification
|
:
|
QA76.9.D5S736 1998
|
| Added Entry
|
:
|
Ana Cavalli
|
|
|
:
|
Elie Najm
|
|
|
:
|
Stan Budkowski
|
| |