Published: 17th March 2015
DOI: 10.4204/EPTCS.178
ISSN: 2075-2180


Proceedings 12th International Workshop on
Formal Engineering approaches to Software Components and Architectures
London, United Kingdom, April 12th, 2015

Edited by: Bara Buhnova, Lucia Happe and Jan Kofroň

Bara Buhnova, Lucia Happe and Jan Kofroň
Improving Runtime Overheads for detectEr
Ian Cassar, Adrian Francalanza and Simon Said
A Denotational Semantics for Communicating Unstructured Code
Nils Jähnig, Thomas Göthel and Sabine Glesner
Path-Based Program Repair
Heinz Riener, Rüdiger Ehlers and Görschwin Fey
Using Model-Checking Techniques for Component-Based Systems with Reconfigurations
Jean-Michel Hufflen
A Model of Layered Architectures
Diego Marmsoler, Alexander Malkis and Jonas Eckhardt
A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems
Vasileios Koutsoumpas


These are the proceedings of the 12th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on April 12th, 2015 in London (UK) as a satellite event to the European Joint Conference on Theory and Practice of Software (ETAPS'15).
The aim of the FESCA workshop is to bring together junior researchers from formal methods, software engineering, and industry interested in the development and application of formal modelling approaches as well as associated analysis and reasoning techniques with practical benefits for software engineering.
In recent years, the growing importance of functional correctness and the increased relevance of system quality properties in terms of performance, reliability, and security have stimulated the emergence of analytical and modelling techniques for the design and development of software systems. With the increasing complexity of today's software systems, FESCA aims at addressing two research questions: (1) what role software architecture can play in systematic addressing of the analytical and modelling challenges, and (2) how formal and semi-formal techniques can be applied effectively to make the issues easier to address automatically, with lower human intervention. The workshop is interested in both the development and application of formal methods in component-based development and tries to cross-fertilize their research and application.
The previous FESCA workshops at ETAPS 2004 to 2014 enjoyed high-quality submissions and attracted a number of recognized guest speakers, including Raffaela Mirandola (Dipartimento di Elettronica e Informazione, Politecnico di Milano, Italy), Rolf Hennicker (Ludwig-Maximilians-Universität, München, Germany), Constance L. Heitmeyer (Naval Research Laboratory, USA), Manfred Broy, (Technische Universität München, Germany), Jose Luiz Fiadeiro, (University of Leicester, UK), František Plášil (Charles University, Czech Republic), Martin Wirsing (Ludwig-Maximilians-Universität, München, Germany), Ivana Černá (Masaryk University, Czech Republic), Samuel Kounev (Karlsruher Institut für Technologie, Germany), Vittorio Cortellessa (Department of Computer Science and Engineering, and Mathematics, University of L'Aquila, Italy), and Colin Atkinson (University of Mannheim, Germany).

The program committee of FESCA'15 consisted of

The papers were refereed by the program committee and by several outside referees, whose help is gratefully acknowledged.
For the twelfth time, FESCA has been organized as a satellite event to ETAPS. We are very grateful to the ETAPS organizers for taking care of all the local organization and for accommodating all our special requests.

Prague, January 29, 2015 Bara Buhnova, Lucia Happe, and Jan Kofroň