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

    1. Front Matter
      Pages 167-167

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
  • About this book