Advertisement

Formal Description Techniques VIII

Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995

  • Gregor v. Bochmann
  • Rachida Dssouli
  • Omar Rafiq
Book FORTE 1995

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Invitred Papers

    1. Front Matter
      Pages 1-1
  3. Design Methodologies

    1. Front Matter
      Pages 21-21
    2. V. Jonckers, K. Verschaeve, B. Wydaeghe, L. Cuypers, J. Heirbaut
      Pages 39-55
    3. D. Amyot, F. Bordeleau, R. J. A. Buhr, L. Logrippo
      Pages 57-72
  4. Verification I

    1. Front Matter
      Pages 73-73
    2. Monica Lara de Souza, Robert de Simone
      Pages 75-89
    3. Boutheina Chetali, Pierre Lescanne
      Pages 91-108
    4. J. P. Courtiat, R. C. de Oliveira
      Pages 117-124
  5. Algebraic Languages

    1. Front Matter
      Pages 125-125
    2. E. Najm, J. B. Stefani, A. Février
      Pages 127-142
    3. Franz Puntigam
      Pages 143-158
  6. System Specification and Z

  7. Industrial Experiences

    1. Front Matter
      Pages 219-219
    2. Ulf Behnke, Michael Geipl, Gerd Kurzbach, Ralf Schröder, Nils Fischbeck, Renée Mundstock
      Pages 237-252
  8. Applying Formal Methods

    1. Front Matter
      Pages 269-269
    2. Keiichi Yasumoto, Teruo Higashino, Kota Abet, Toshio Matsuura, Kenichi Taniguchi
      Pages 271-286
    3. J. Ch Grégoire, M. Ferguson
      Pages 295-302
    4. Alain Kerbrat, Slim Ben Atallah
      Pages 303-310
  9. Tools and Testing

    1. Front Matter
      Pages 311-311
    2. Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich
      Pages 313-328
    3. S. C. P. F. Fabbri, J. C. Maldonado, P. C. Masiero, M. E. Delamaro, E. Wong
      Pages 329-337
    4. E. Lallet, S. Fischer, J.-F. Verdier
      Pages 339-348
  10. Real-time and Stochastic Systems

    1. Front Matter
      Pages 311-311
    2. Manuel Nwnez, David Frutos
      Pages 367-382
    3. J. Davies, J. W. Bryans, S. A. Schneider
      Pages 383-397
  11. Verification II

    1. Front Matter
      Pages 399-399
    2. Andrds L. Oldh, Sonia M. Heemstra
      Pages 401-416
    3. F. Gagnon, J. Ch Grégoire, D. Zampuniéris
      Pages 417-432
  12. Back Matter
    Pages 499-452

About this book

Introduction

This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.

Keywords

algebra communication information information processing telecommunications

Editors and affiliations

  • Gregor v. Bochmann
    • 1
  • Rachida Dssouli
    • 1
  • Omar Rafiq
    • 2
  1. 1.University of MontrealMontrealCanada
  2. 2.University of PauPauFrance

Bibliographic information

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