Programming and Software Engineering

Formal Methods for Components and Objects

11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Editors: Giachino, E., Hähnle, R., de Boer, F.S., Bonsangue, M.M. (Eds.)

  • State of the art research on formal methods for component and object oriented systems
  • Outcome of the International Symposium on formal methods for components and objects
  • Provides a unique combination of ideas on software engineering and formal methods
see more benefits

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-40615-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-40614-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.

Table of contents (8 chapters)

  • The Abstract Behavioral Specification Language: A Tutorial Introduction

    Hähnle, Reiner

    Pages 1-37

  • Subobject-Oriented Programming

    Dooren, Marko (et al.)

    Pages 38-82

  • Verification of Open Concurrent Object Systems

    Kurnia, Ilham W. (et al.)

    Pages 83-118

  • Automatic Inference of Bounds on Resource Consumption

    Albert, Elvira (et al.)

    Pages 119-144

  • Separating Cost and Capacity for Load Balancing in ABS Deployment Models

    Johnsen, Einar Broch

    Pages 145-167

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-40615-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-40614-0
  • 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 Components and Objects
Book Subtitle
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Editors
  • Elena Giachino
  • Reiner Hähnle
  • Frank S. de Boer
  • Marcello M. Bonsangue
Series Title
Programming and Software Engineering
Series Volume
7866
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-40615-7
DOI
10.1007/978-3-642-40615-7
Softcover ISBN
978-3-642-40614-0
Edition Number
1
Number of Pages
IX, 241
Number of Illustrations and Tables
125 b/w illustrations
Topics