IFIP Advances in Information and Communication Technology

Formal Methods for Open Object-Based Distributed Systems

IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy

Editors: Ciancarini, Paolo, Fantechi, Alessandro, Gorrieri, Roberto (Eds.)

Buy this book

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

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject.
Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods.
This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999.
Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.

Table of contents (33 chapters)

  • Piccola — A Small Composition Language

    Nierstrasz, Oscar

    Pages 1-1

  • An Algebra of Actors

    Gaspari, Mauro (et al.)

    Pages 3-18

  • Developing Object-Based Distributed Systems

    Bonsangue, Marcello M. (et al.)

    Pages 19-34

  • Reasoning About Histories in Object-Based Distributed Systems

    Boer, F. S.

    Pages 35-49

  • Mobile Nets

    Busi, Nadia

    Pages 51-66

Buy this book

eBook $199.00
price for USA (gross)
  • ISBN 978-0-387-35562-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $262.00
price for USA
  • ISBN 978-0-7923-8429-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $262.00
price for USA
  • ISBN 978-1-4757-5266-3
  • 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
Book Subtitle
IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
Editors
  • Paolo Ciancarini
  • Alessandro Fantechi
  • Roberto Gorrieri
Series Title
IFIP Advances in Information and Communication Technology
Series Volume
10
Copyright
1999
Publisher
Springer US
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-0-387-35562-7
DOI
10.1007/978-0-387-35562-7
Hardcover ISBN
978-0-7923-8429-8
Softcover ISBN
978-1-4757-5266-3
Series ISSN
1868-4238
Edition Number
1
Number of Pages
XII, 436
Topics