IFIP Advances in Information and Communication Technology

Formal Methods for Open Object-Based Distributed Systems V

IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands

Editors: Jacobs, Bart, Rensink, Arend (Eds.)

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-0-387-35496-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $193.00
price for USA
  • ISBN 978-0-7923-7683-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $193.00
price for USA
  • ISBN 978-1-4757-5268-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields:

  • Formal methods;
  • Distributed systems;
  • Object-based technology.


Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.
This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.

Table of contents (18 chapters)

  • Software Model Checking: The Bandera Approach

    Dwyer, Matthew

    Pages 3-4

  • Verifying Authentication Protocol Implementations

    Schneider, Steve

    Pages 5-24

  • A Semantic Framework for Specifying and Reasoning about Composable Distributed Middleware Services

    Talcott, Carolyn

    Pages 25-26

  • Formal Semantics for Interacting UML Subsystems

    Jürjens, Jan

    Pages 29-43

  • A Compositional Formalism for Object Viewpoints

    Johnsen, Einar Broch (et al.)

    Pages 45-60

Buy this book

eBook $149.00
price for USA (gross)
  • ISBN 978-0-387-35496-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $193.00
price for USA
  • ISBN 978-0-7923-7683-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $193.00
price for USA
  • ISBN 978-1-4757-5268-7
  • 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 Methods for Open Object-Based Distributed Systems V
Book Subtitle
IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands
Editors
  • Bart Jacobs
  • Arend Rensink
Series Title
IFIP Advances in Information and Communication Technology
Series Volume
81
Copyright
2002
Publisher
Springer US
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-0-387-35496-5
DOI
10.1007/978-0-387-35496-5
Hardcover ISBN
978-0-7923-7683-5
Softcover ISBN
978-1-4757-5268-7
Series ISSN
1868-4238
Edition Number
1
Number of Pages
X, 280
Topics