Programming and Software Engineering IFIP-LNCS Volumes

Formal Methods for Open Object-Based Distributed Systems

9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Editors: Bonsangue, Marcello M., Johnsen, Einar Broch (Eds.)

Free Preview

Buy this book

eBook 67,82 €
price for Spain (gross)
  • ISBN 978-3-540-72952-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 83,19 €
price for Spain (gross)
  • ISBN 978-3-540-72919-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (19 chapters)

  • Asynchronous Session Types and Progress for Object Oriented Languages

    Coppo, Mario (et al.)

    Pages 1-31

    Preview Buy Chapter 30,19 €
  • KeY: A Formal Method for Object-Oriented Systems

    Ahrendt, Wolfgang (et al.)

    Pages 32-43

    Preview Buy Chapter 30,19 €
  • Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking

    Cai, L. Ruhai (et al.)

    Pages 44-58

    Preview Buy Chapter 30,19 €
  • Model Checking of Extended OCL Constraints on UML Models in SOCLe

    Mullins, John (et al.)

    Pages 59-75

    Preview Buy Chapter 30,19 €
  • Analysis of UML Activities Using Dynamic Meta Modeling

    Engels, Gregor (et al.)

    Pages 76-90

    Preview Buy Chapter 30,19 €

Buy this book

eBook 67,82 €
price for Spain (gross)
  • ISBN 978-3-540-72952-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 83,19 €
price for Spain (gross)
  • ISBN 978-3-540-72919-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Methods for Open Object-Based Distributed Systems
Book Subtitle
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Editors
  • Marcello M. Bonsangue
  • Einar Broch Johnsen
Series Title
Programming and Software Engineering
Series Volume
4468
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-3-540-72952-5
DOI
10.1007/978-3-540-72952-5
Softcover ISBN
978-3-540-72919-8
Edition Number
1
Number of Pages
X, 317
Topics