Skip to main content
SpringerLink
Log in
Book cover

Formal Description Techniques IX

Theory, application and tools

  • Book
  • © 1996

Overview

Editors:
  1. Reinhard Gotzhein

    1. Department of Computer Science, University of Kaiserslautern, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jan Bredereke

    1. Department of Computer Science, University of Kaiserslautern, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 329.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Invited Talk 1

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. The Video Dial Tone Service and the ATM Environment

      • André Danthine
      Pages 3-25

  3. Tools and Tools Support

    1. Front Matter

      Pages 27-27
      Download chapter PDF

    2. Computer-Assisted Verification of an Algorithm for Concurrent Timestamps

      • Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch
      Pages 29-44

    3. Design and Optimization of High-Performance Protocols with the DO-IT Toolbox

      • Andreas Mitschele-Thiel, Peter Langendörfer, Ralf Henke
      Pages 45-60

    4. Tool support for algebraic specifications of data in SDL-92

      • N. N. Mansurov, A. S. Ragozin, A. V. Chernov, I. V. Mansurov
      Pages 61-76

    5. Automating Performance Optimisation by Heuristic Analysis of A Formal Specification

      • Philipp Hoschka
      Pages 77-92

  4. Invited Talk II

    1. Front Matter

      Pages 93-93
      Download chapter PDF

    2. Formal description techniques - how formal and descriptive are they?

      • M. Broy
      Pages 95-110

  5. FDT-Application

    1. Front Matter

      Pages 111-111
      Download chapter PDF

    2. Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems

      • Stephan Kleuker
      Pages 113-128

    3. Formal Verification of Communication Protocols

      • M. A. S. Smith
      Pages 129-144

    4. Applications of Fair Testing

      • E. Brinksma, A. Rensink, W. Vogler
      Pages 145-160

  6. FDT-Based System and Protocol Engineering

    1. Front Matter

      Pages 161-161
      Download chapter PDF

    2. Fault models for testing in context

      • A. Petrenko, N. Yevtushenko, G. v. Bochmann
      Pages 163-178

    3. EPER: Efficient Packed Encoding Rules for ASN.1

      • Hiroki Horiuchi, Tetsuya Kuroki, Sadao Obana, Kenji Suzuki
      Pages 179-194

    4. Relating conformance test coverage to formal specifications

      • Roland Groz, Olivier Charles, Josiane Renévot
      Pages 195-210

  7. Performance Modelling and Analysis

    1. Front Matter

      Pages 211-211
      Download chapter PDF

    2. Performance Modelling with the Formal Specification Language SDL

      • M. Bütow, M. Mestern, C. Schapiro, P. S. Kritzinger
      Pages 213-228
Back to top

Keywords

About this book

This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.

Editors and Affiliations

  • Department of Computer Science, University of Kaiserslautern, Germany

    Reinhard Gotzhein, Jan Bredereke

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation