The 11th Symposium on Formal Methods for Components and Objects (FMCO 2012) was held during September 24–28, 2012, as an international school at Centro Residenziale Universitario (CRU) of the University of Bologna, located in Bertinoro, a small medieval hilltop town in Italy. FMCO 2012 was organized by the European project HATS (Highly Adaptable and Trustworthy Software using Formal Models), a European Integrated Project within the FET Forever Yours programme, in agreement with the EternalS Coordination Action (CA) that coordinates research among the four projects of the Forever Yours initiative: LivingKnowledge, HATS, Connect, and SecureChange. FMCO 2012 featured lectures by world-renowned experts in the area of formal models for objects and components. This volume contains the revised papers submitted by the lecturers.
Formal Methods for Components and Objects / Elena Giachino;Reiner Hähnle;Frank S. de Boer;Marcello M. Bonsangue. - STAMPA. - 7866:(2013), pp. 1-240. [10.1007/978-3-642-40615-7]
Formal Methods for Components and Objects
GIACHINO, ELENA;
2013
Abstract
The 11th Symposium on Formal Methods for Components and Objects (FMCO 2012) was held during September 24–28, 2012, as an international school at Centro Residenziale Universitario (CRU) of the University of Bologna, located in Bertinoro, a small medieval hilltop town in Italy. FMCO 2012 was organized by the European project HATS (Highly Adaptable and Trustworthy Software using Formal Models), a European Integrated Project within the FET Forever Yours programme, in agreement with the EternalS Coordination Action (CA) that coordinates research among the four projects of the Forever Yours initiative: LivingKnowledge, HATS, Connect, and SecureChange. FMCO 2012 featured lectures by world-renowned experts in the area of formal models for objects and components. This volume contains the revised papers submitted by the lecturers.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.