Formal description techniques, IX
Subtitle: theory, application and tools : IFIP TC6 / 6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996
By: edited by Reinhard Gotzhein and Jan Bredereke.
Contributors: Gotzhein, Reinhard.; Bredereke, Jan.; International Federation for Information Processing.; IFIP WG 6.1 International Symposium on Protocol Specification, Testing and Verification (16th : 1996 : Kaiserslautern, Germany)
Publisher: published by Chapman & Hall on behalf of the International Federation for Information Processing
Published: 1996
Place of publication: London
Language: eng
Number of pages: 516
Subjects: Computer programming -- Congresses; Formal languages -- Congresses; Electronic data processing -- Distributed processing -- Congresses; Computer network protocols -- Congresses; Formal methods (Computer science)
Genres: Congresses.
Notes: Includes bibliographical references and index.
Table of contents: title: Machine generated contents note: Invited Talk I; title: 1 The Video Dial Tone Service and the ATM Environment 3; title: A. Danthine; title: PART ONE Tools and Tool Support; title: 2 Computer-Assisted Verification of an Algorithm for; title: Concurrent Timestamps 29; title: T. P. Petrov, A. Pogosyants, S. J. Garland, V Luchangco and N. A. Lynch; title: 3 Design and Optimization of High-Performance Protocols with; title: the DO-IT Toolbox 45; title: A. Mitschele-Thiel, P. Langendorfer and R. Henke; title: 4 Tool Support for Algebraic Specifications of Data in SDL-92 61; title: N. N. Mansurov, A. S. Ragozin, A. V Chernov and I. V. Mansurov; title: 5 Automating Performance Optimisation by Heuristic Analysis; title: of a Formal Specification 77; title: P Hoschka; title: Invited Talk II; title: 6 Formal Description Techniques - How Formal and Descriptive are they? 95; title: M. Broy; title: PART TWO FDT-Application; title: 7 Using Formal Methods in the Development of Protocols for Multi-User; title: Multimedia Systems 113; title: S. Kleuker; title: 8 Formal Verification of Communication Protocols 129; title: M. A. S. Smith; title: 9 Applications of Fair Testing 145; title: E. Brinksma, A. Rensink and W. Vogler; title: PART THREE FDT-Based System and Protocol Engineering; title: 10 Fault Models for Testing in Context 163; title: A. Petrenko, N. Yevtushenko and G. v. Bochmann; title: 11 EPER: Efficient Packed Encoding Rules for ASN. 1 179; title: H. Horiuchi, T Kuroki, S. Obana and K. Suzuki; title: 12 Relating Conformance Test Coverage to Formal Specifications 195; title: R. Groz, O. Charles and J. Rendvot; title: PART FOUR Performance Modelling and Analysis; title: 13 Performance Modelling with the Formal Specification Language SDL 213; title: M. Biitow, M. Mestern, C. Schapiro and P S. Kritzinger; title: 14 The QUEST-Approach for the Performance Evaluation; title: of SDL-Systems 229; title: M. Diefenbruch, J. Hintelmann and B. Miiller-Clostermann; title: 15 A Formal Description Language for the Modelling; title: and Simulation of Timed Interaction Diagrams 245; title: L. Braga, R. Manione and P. Renditore; title: PART FIVE Real-Time and Probability Aspects; title: 16 Model Reduction of Modules for State-Event Temporal Logics 263; title: M. Lawford, J. S. Ostroffand W. M. Wonham; title: 17 Time-Action Alternating Model for Timed LOTOS and its Symbolic; title: Verification of Bisimulation Equivalence 279; title: A. Nakata, T Higashino and K. Taniguchi; title: 18 A Timed Semantics for SDL 295; title: S. M0rk, J. C. Godskesen, M. R. Hansen and R. Sharp; title: 19 Implementation of Multimedia Systems based on a Real-Time; title: Extension of Estelle 310; title: S. Fischer; title: Invited Talk III - Abstract; title: 20 Using Formal Methods: if you're so smart how come you ain't rich? 329; title: E. Brinksma; title: PART SIX Verification and Validation; title: 21 A New Scheme for Memory-Efficient Probabilistic Verification 333; title: U. Stern and D. L Dill; title: 22 Direct Verification of Bisimulations 349; title: M. Llamas, J. Quemada and M. J. Ferndndez; title: 23 Finitely Representing Infinite Reachability Graphs of CFSMs; title: with Graph Grammars 364; title: Y-M. Quemener and T. Jdron; title: 24 Model Checking Based on Occurrence Net Graph 380; title: J.-M. Couvreur and D. Poitrenaud; title: Invited Talk IV - Abstract; title: 25 Network Computing 399; title: L Mackert; title: PART SEVEN Industrial Usage Reports; title: 26 Validation-Based Test Sequence Generation for Networks; title: of Extended Finite State Machines 403; title: S. Huang, D. Lee and M. Staskauskas; title: 27 Using SDL for the Specification, Simulation and Implementation; title: of an Advanced OSI Data-Link Protocol on an; title: Embedded Microcontroller System 419; title: W. Kellerer, A. Iselt and R. Riek; title: 28 Specification and Verification of the PowerScaleTM Bus; title: Arbitration Protocol:An Industrial Experiment with LOTOS 435; title: G. Chehaibar, H. Garavel, L. Mounier, N. Tawbi and F Zulian; title: 29 Combined Application of SDL-92, OMT, MSC and TTCN 451; title: E. Inocencio, M. Ricardo, H. Sato and T. Kashima; title: PART EIGHT Extensions of FDTs and Semantical Foundations; title: 30 On the Introduction of Exceptions in E-LOTOS 469; title: H. Garavel and M. Sighireanu; title: 31 From LOTOS to Petri Nets through Iexpansion 485; title: D. Larrabeiti, J. Quemada and S. Pavdn; title: 32 Comparing LOTOS and Z Refinement Relations 501; title: J. Derrick, H. Bowman, E. A. Boiten and M. W. A. Steen.