Logo - springer
Slogan - springer

Computer Science - Software Engineering | Formal Methods for Components and Objects - 10th International Symposium, FMCO 2011, Turin, Italy,

Formal Methods for Components and Objects

10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (Eds.)

2013, X, 356 p. 129 illus.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$59.95

(net) price for USA

ISBN 978-3-642-35887-6

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase


learn more about Springer eBooks

add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$83.00

(net) price for USA

ISBN 978-3-642-35886-9

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

  • State of the art research in formal methods for components and objects
  • Summary of a concertation meeting of European projects focussing on the topic
  • Unique visibility

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large systems requires more emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.

This book contains 20 revised papers submitted after the 10th Symposium on Formal Methods for Components and Objects, FMCO 2011, which was held in Turin, Italy, in October 2011. Topics covered include autonomic service-component ensembles; trustworthy eternal systems via evolving software, data, and knowledge; parallel patterns for adaptive heterogeneous multicore systems; programming for future 3D architectures with many cores; formal verification of object oriented software; and an infrastructure for reliable computer systems.

Content Level » Research

Keywords » Web application - distributed systems - machine learning - model checking - software verification

Related subjects » Database Management & Information Retrieval - Software Engineering - Theoretical Computer Science

Table of contents 

The ASCENS Project.- ASCENS: Engineering Autonomic Service-Component Ensembles.- A Language-Based Approach to Autonomic Computing.- A Survey on Basic Connectors and Buffers.- The EternalS Coordination Action.- Synthesis-Based Variability Control: Correctness by Construction.- Modeling Application-Level Management of Virtualized Resources in ABS.- HATS Abstract Behavioral Specification: The Architectural View.- Automatic Service Categorisation through Machine Learning in Emergent Middleware.- Towards a Model- and Learning-Based Framework for Security Anomaly Detection.- Enhancing Model Driven Security through Pattern Refinement Techniques.- Project Zeppelin: A Modern Web Application Development Framework.- The ParaPhrase Project.- Managing Adaptivity in Parallel Systems.- The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems.- Paraphrasing: Generating Parallel Programs Using Refactoring.- An Abstract Annotation Model for Skeletons.- The PRO3D Project.- PRO3D, Programming for Future 3D Manycore Architectures: Project Interim Status.- Thermal-Aware Task Assignment for Real-Time Applications on Multi-Core Systems.- Component Assemblies in the Context of Manycore.- Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints.

Popular Content within this publication 

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Software Engineering.