Formal methods for components and objects

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.

Formal methods for components and objects

Bernhard K. Aichernig Frank S. de BoerMarcello M. Bonsangue (Eds.)

Springer

2012

Abstract

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.

• 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 method

This volume contains 20 revised papers submitted after the symposium by thespeakers of each of the following European projects involved in the organizationof the program:

–The FP7-IST project AVANTSSAR on automated validation of trust andsecurity of service-oriented architectures. The contact person is Luca Vigan`o(University of Verona, Italy).

–The FP7-IST project DEPLOY on industrial deployment of advanced systemengineering methods for high productivity and dependability. The contactperson is Alexander Romanovsky (Newcastle University, UK).

–The ESF-COST Action IC0701 on formal verification of object-oriented soft-ware. The contact person is Bernhard Beckert (Karlsruhe Institute of Tech-nology, Germany).

–The FP7-IST project HATS on highly adaptable and trustworthy softwareusing formal models. The contact person is Reiner H ̈ahnle (Chalmers Uni-versity of Technology, Sweden).

–The FP7-SST project INESS on an integrated European railway signalingsystem. The contact person for work relating to FMCO is Jim Woodcock(University of York, UK).

–The FP7-IST project MADES on a model-driven approach to improve thecurrent practice in the development of embedded systems. The contact per-son is Alessandra Bagnato (TXT e-solutions, Italy).

–The FP7-IST project MOGENTES on model-based generation of tests fordependable embedded systems. The contact person for work relating toFMCO is Bernhard Aichernig (Graz University of Technology, Austria).

–The FP7-IST project MULTIFORM on integrated multi-formalism tool sup-port for the design of networked embedded control systems. The contactperson for work relating to FMCO is Christian Sonntag (TU Dortmund,Germany).

–The FP7-IST project QUASIMODO on quantitative system properties inmodel-driven design of embedded systems. The contact person is Kim G.Larsen (Aalborg University, Denmark).

Citation

De Boer, Frank S., et al., eds. Formal methods for components and objects. Springer Berlin Heidelberg, 2012.

Collection

Công nghệ thông tin

Related document

Formal methods for components and objects	Project scope management:A practical guide to requirements for engineering, product, construction, it and enterprise projects	Practical Research: Planning and Design, 11th edition

Mã QR

Content