40% off Popular Science books & eBooks—Save on general interest titles now!

Programming and Software Engineering

Formal Methods for Open Object-Based Distributed Systems

10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Editors: Barthe, Gilles (Ed.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD
  • ISBN 978-3-540-68863-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-68862-4
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008.

The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.

Table of contents (15 chapters)

Table of contents (15 chapters)
  • Guiding Distributed Systems Synthesis with Language-Based Security Policies

    Pages 1-1

    Myers, Andrew

  • Termination Analysis of Java Bytecode

    Pages 2-18

    Albert, Elvira (et al.)

  • Sessions and Pipelines for Structured Service Programming

    Pages 19-38

    Boreale, Michele (et al.)

  • Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers

    Pages 39-58

    Chadha, Rohit (et al.)

  • Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus

    Pages 59-77

    Cruz-Filipe, Luís (et al.)

Buy this book

eBook $74.99
price for USA in USD
  • ISBN 978-3-540-68863-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-68862-4
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Methods for Open Object-Based Distributed Systems
Book Subtitle
10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Editors
  • Gilles Barthe
Series Title
Programming and Software Engineering
Series Volume
5051
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-540-68863-1
DOI
10.1007/978-3-540-68863-1
Softcover ISBN
978-3-540-68862-4
Edition Number
1
Number of Pages
X, 259
Topics