IFIP Advances in Information and Communication Technology

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII ’97

Authors: Togashi, A., Mizuno, T., Shiratori, N., Higashino, T.

Buy this book

eBook $229.00
price for USA (gross)
  • ISBN 978-0-387-35271-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $299.00
price for USA
  • ISBN 978-0-412-82060-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $299.00
price for USA
  • ISBN 978-1-4757-5260-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (33 chapters)

  • Specification-based testing of concurrent systems

    Ulrich, Andreas (et al.)

    Pages 7-22

  • Refusal testing for classes of transition systems with inputs and outputs

    Heerink, Lex (et al.)

    Pages 23-39

  • A Framework for Distributed Object-Oriented Testing

    Wong, Alan C. Y. (et al.)

    Pages 39-56

  • Interoperability Test Suite Derivation for Symmetric Communication Protocols

    Kang, Sungwon (et al.)

    Pages 57-72

  • A Hierarchy of Communication Models for Message Sequence Charts

    Engels, A. (et al.)

    Pages 75-90

Buy this book

eBook $229.00
price for USA (gross)
  • ISBN 978-0-387-35271-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $299.00
price for USA
  • ISBN 978-0-412-82060-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $299.00
price for USA
  • ISBN 978-1-4757-5260-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Description Techniques and Protocol Specification, Testing and Verification
Book Subtitle
FORTE X / PSTV XVII ’97
Authors
Series Title
IFIP Advances in Information and Communication Technology
Copyright
1997
Publisher
Springer US
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-0-387-35271-8
DOI
10.1007/978-0-387-35271-8
Hardcover ISBN
978-0-412-82060-1
Softcover ISBN
978-1-4757-5260-1
Series ISSN
1868-4238
Edition Number
1
Number of Pages
XI, 550
Topics