Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII ’97

  • Tadanori Mizuno
  • Norio Shiratori
  • Teruo Higashino
  • Atsushi Togashi

Table of contents

  1. Front Matter
    Pages i-xi
  2. New Generation Networks and Applications

    1. Front Matter
      Pages 1-1
    2. Testing Theory for Concurrent Systems

      1. Andreas Ulrich, Hartmut König
        Pages 7-22
      2. Alan C. Y. Wong, Samuel T. Chanson, S. C. Cheung, Holger Fuchs
        Pages 39-56
    3. MSC and ODP

      1. A. Engels, S. Mauw, M. A. Reniers
        Pages 75-90
      2. Hanêne Ben-Abdallah, Stefan Leue
        Pages 91-106
      3. Joubine Dustzadeh, Elie Najm
        Pages 107-126
      4. Giovanny F. Lucero, Juan Quemada
        Pages 127-142
    4. LOTOS and Extension

      1. Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi
        Pages 161-176
      2. M. W. A. Steen, H. Bowman, J. Derrick, E. A. Boiten
        Pages 177-192
      3. Christian Hernalsteen
        Pages 193-204
    5. Verification Technique

    6. Conformance Testing

      1. David de Frutos-Escrig, Luis Llana-Díaz, Manuel Núñez
        Pages 283-298

About this book

Introduction

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

Keywords

algebra communication distributed systems information logic network

Editors and affiliations

  • Tadanori Mizuno
    • 1
  • Norio Shiratori
    • 2
  • Teruo Higashino
    • 3
  • Atsushi Togashi
    • 1
  1. 1.Shizuoka UniversityHamamatsuJapan
  2. 2.Tohoku UniversityMiyagiJapan
  3. 3.Osaka UniversityOsakaJapan

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-387-35271-8
  • Copyright Information Springer Science+Business Media Dordrecht 1997
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4757-5260-1
  • Online ISBN 978-0-387-35271-8
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • About this book