Large and complex software systems provide the necessary infrastructure in all industries today. In order to construct such large systems in a systematic manner, the focus in development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are encapsulated into software units which are integrated into large systems by means of various techniques supporting reusability and modifiability. This encapsulation principle is essential to both the object-oriented and the more recent component-based software engineering paradigms. Formal methods have been applied successfully to the verification of medium sized programs in protocol and hardware design. 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. The 10th Symposium on Formal Methods for Components and Objects (FMCO 2011) was held at the Natural Science Museum in Torino, Italy, from October 3 to 5, 2011. FMCO 2011 was realized as a concertation meeting of European projects focussing on formal methods for components and objects. This volume contains 20 revised papers submitted after the symposium by the speakers of each of the following European projects involved in the organization of the program: – The FP7-IP project ASCENS on autonomic service-component ensembles. The contact person is Christian Fabre (CEA, France). – The FP7-IST coordination action EternalS on trustworthy eternal systems via evolving software, data and knowledge. The action coordinator is Alessandro Moschitti (University of Trento, Italy). The 4 FP7 FET projects participating in the EternalS action are LivingKnowledge, HATS, Connect, SecureChange. – The FP7-STREP project ParaPhrase on parallel patterns for adaptive heterogeneous multicore systems. – FP7-IP project PRO3D on programming for future 3D architectures with many cores. The contact person is Kevin Hammond (University of St. Andrew, United Kingdom). – The ESF Cost Action IC0701, a European scientific cooperation on formal verification of object-oriented software. The chair of the action is Bernhard Beckert (Karlsruhe Institute of Technology, Germany). – The ESF Cost Action IC0901 ”Rich-Model Toolkit”, a European scientific cooperation on an infrastructure for reliable computer systems. The chair of the action is Viktor Kuncak (EPFL, Switzerland). The proceedings of the previous editions of FMCO have been published as volumes 2852, 3188, 3657, 4111, 4709, 5382, 5751, 6286, and 6957 of Springer's Lecture Notes in Computer Science.

Formal Methods for Components and Objects10th International Symposium, FMCO 2011, Turin, Italy, October3 to 5, 2011. Revised Papers

DAMIANI, Ferruccio
2013-01-01

Abstract

Large and complex software systems provide the necessary infrastructure in all industries today. In order to construct such large systems in a systematic manner, the focus in development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are encapsulated into software units which are integrated into large systems by means of various techniques supporting reusability and modifiability. This encapsulation principle is essential to both the object-oriented and the more recent component-based software engineering paradigms. Formal methods have been applied successfully to the verification of medium sized programs in protocol and hardware design. 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. The 10th Symposium on Formal Methods for Components and Objects (FMCO 2011) was held at the Natural Science Museum in Torino, Italy, from October 3 to 5, 2011. FMCO 2011 was realized as a concertation meeting of European projects focussing on formal methods for components and objects. This volume contains 20 revised papers submitted after the symposium by the speakers of each of the following European projects involved in the organization of the program: – The FP7-IP project ASCENS on autonomic service-component ensembles. The contact person is Christian Fabre (CEA, France). – The FP7-IST coordination action EternalS on trustworthy eternal systems via evolving software, data and knowledge. The action coordinator is Alessandro Moschitti (University of Trento, Italy). The 4 FP7 FET projects participating in the EternalS action are LivingKnowledge, HATS, Connect, SecureChange. – The FP7-STREP project ParaPhrase on parallel patterns for adaptive heterogeneous multicore systems. – FP7-IP project PRO3D on programming for future 3D architectures with many cores. The contact person is Kevin Hammond (University of St. Andrew, United Kingdom). – The ESF Cost Action IC0701, a European scientific cooperation on formal verification of object-oriented software. The chair of the action is Bernhard Beckert (Karlsruhe Institute of Technology, Germany). – The ESF Cost Action IC0901 ”Rich-Model Toolkit”, a European scientific cooperation on an infrastructure for reliable computer systems. The chair of the action is Viktor Kuncak (EPFL, Switzerland). The proceedings of the previous editions of FMCO have been published as volumes 2852, 3188, 3657, 4111, 4709, 5382, 5751, 6286, and 6957 of Springer's Lecture Notes in Computer Science.
2013
Springer
7542
1
356
9783642358869
Formal Methods; Components; Objects
Bernhard Beckert; Frank de Boer; Marcello Bonsangue; Ferruccio Damiani
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/116872
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 29
  • ???jsp.display-item.citation.isi??? ND
social impact