Advertisement

Formal Description Techniques IX

Theory, application and tools

  • Reinhard Gotzhein
  • Jan Bredereke

Table of contents

  1. Front Matter
    Pages i-x
  2. Invited Talk 1

    1. Front Matter
      Pages 1-1
  3. Tools and Tools Support

    1. Front Matter
      Pages 27-27
    2. Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch
      Pages 29-44
    3. Andreas Mitschele-Thiel, Peter Langendörfer, Ralf Henke
      Pages 45-60
    4. N. N. Mansurov, A. S. Ragozin, A. V. Chernov, I. V. Mansurov
      Pages 61-76
  4. Invited Talk II

  5. FDT-Application

    1. Front Matter
      Pages 111-111
    2. M. A. S. Smith
      Pages 129-144
    3. E. Brinksma, A. Rensink, W. Vogler
      Pages 145-160
  6. FDT-Based System and Protocol Engineering

    1. Front Matter
      Pages 161-161
    2. A. Petrenko, N. Yevtushenko, G. v. Bochmann
      Pages 163-178
    3. Hiroki Horiuchi, Tetsuya Kuroki, Sadao Obana, Kenji Suzuki
      Pages 179-194
    4. Roland Groz, Olivier Charles, Josiane Renévot
      Pages 195-210
  7. Performance Modelling and Analysis

    1. Front Matter
      Pages 211-211
    2. M. Bütow, M. Mestern, C. Schapiro, P. S. Kritzinger
      Pages 213-228
    3. Marc Diefenbruch, Jörg Hintelmann, Bruno Müller-Clostermann
      Pages 229-244
  8. Real-Time and Probability Aspects

    1. Front Matter
      Pages 261-261
    2. M. Lawford, J. S. Ostroff, W. M. Wonham
      Pages 263-278
    3. Simon Mørk, Jens C. Godskesen, Michael R. Hansen, Robin Sharp
      Pages 295-309
  9. Invited Talk III

    1. Front Matter
      Pages 327-327
  10. Verification and Validation

    1. Front Matter
      Pages 331-331
    2. Ulrich Stern, David L. Dill
      Pages 333-348
    3. Martin Llamas, Juan Quemada, Manuel J. Fernández
      Pages 349-363
    4. Jean-Michel Couvreur, Denis Poitrenaud
      Pages 380-395
  11. Invited Talk IV

    1. Front Matter
      Pages 397-397
    2. L. Mackert
      Pages 399-399
  12. Industrial Usage Reports

    1. Front Matter
      Pages 401-401
    2. Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian
      Pages 435-450
    3. Eurico Inocêncio, Manuel Ricardo, Hitoshi Sato, Toshimitsu Kashima
      Pages 451-466
  13. Extensions of FDTs and Semantical Foundations

    1. Front Matter
      Pages 467-467
    2. Hubert Garavel, Mihaela Sighireanu
      Pages 469-484
    3. D. Larrabeiti, J. Quemada, S. Pavón
      Pages 485-500
    4. J. Derrick, H. Bowman, E. A. Boiten, M. W. A. Steen
      Pages 501-516
  14. Back Matter
    Pages 517-518

About this book

Introduction

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.

Keywords

communication distributed systems engine foundation modeling modelling probability testing validation verification

Editors and affiliations

  • Reinhard Gotzhein
    • 1
  • Jan Bredereke
    • 1
  1. 1.Department of Computer ScienceUniversity of KaiserslauternGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-387-35079-0
  • Copyright Information Springer-Verlag US 1996
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-5041-2883-4
  • Online ISBN 978-0-387-35079-0
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • Buy this book on publisher's site