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 objectsProject scope management:A practical guide to requirements for engineering, product, construction, it and enterprise projectsPractical Research: Planning and Design, 11th edition
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

Formal methods for components and objects

Content

  • Thứ Bảy, 10:29 12/11/2022

Tin tiêu điểm

PGS.TS Nguyễn Thị Hồng Nga, Giám đốc - Trung tâm Đào tạo Sau đại học trao tặng 02 đầu sách ngoại văn cho Trung tâm Thông tin - Thư viện

Thứ Sáu, 07:37 24/05/2024
Hướng dẫn khai thác Bộ sưu tập tài nguyên giáo dục mở (OER)

Hướng dẫn khai thác Bộ sưu tập tài nguyên giáo dục mở (OER)

Thứ Bảy, 15:58 04/05/2024

Truy cập hàng triệu sách điện tử miễn phí với The Online Books Page

Thứ Hai, 08:38 22/01/2024
5 khóa học miễn phí về thiết kế đồ họa

5 khóa học miễn phí về thiết kế đồ họa

Thứ Tư, 09:33 13/12/2023

7 khóa học “Kỹ thuật cơ khí” sinh viên ngành Cơ khí cần biết

Thứ Sáu, 13:57 08/12/2023

Các bài đã đăng

Electric Vehicle Efficient Power and Propulsion Systems

Thứ Ba, 13:54 02/07/2024

Smart Sustainable Manufacturing Systems

Thứ Ba, 13:47 02/07/2024

Green Technology and Renewable Energy Projects

Thứ Ba, 13:40 02/07/2024

Performance and Safety Enhancement Strategies in Vehicle Dynamics and Ground Contac

Thứ Ba, 13:30 02/07/2024

Keeping Autonomous Driving Alive

Thứ Ba, 13:22 02/07/2024

A Christmas Carol

Thứ Sáu, 20:11 11/11/2022

教え方を改善する= Cải tiến phương pháp giảng dạy

Thứ Sáu, 16:02 11/11/2022

Waiting for Godot ( Chờ đợi Godot)

Thứ Sáu, 15:53 11/11/2022

新 翻訳力を鍛える本 = Sách rèn luyện kỹ năng dịch mới

Thứ Sáu, 15:26 11/11/2022

新完全マスター文法 日本語能力試験N2 = Bài kiểm tra năng lực tiếng Nhật bằng Master Grammar hoàn chỉnh mới N2

Thứ Sáu, 15:17 11/11/2022