Published: 28th March 2016
DOI: 10.4204/EPTCS.205
ISSN: 2075-2180

EPTCS 205

Proceedings of the 13th International Workshop on
Formal Engineering Approaches to Software Components and Architectures
Eindhoven, The Netherlands, 3rd April 2016

Edited by: Jana Kofroň, Jana Tumova and Bara Buhnova

Preface
Jan Kofroň, Jana Tumova and Bara Buhnova
Validating an Approach to Formalize Use Cases with Ontologies
Rui Couto, António Nestor Ribeiro and José Creissac Campos
1
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts
Sarmen Keshishzadeh, Arjan J. Mooij and Jozef Hooman
16
Device-Centric Monitoring for Mobile Device Management
Luke Chircop, Christian Colombo and Gordon J. Pace
31
Development and Validation of Functional Model of a Cruise Control System
Avinash Visagan Varadarajan, Marcel Romijn, Bart Oosthoek, Joanna van de Mortel-Fronczak and Jos Beijer
45
Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems
Jiri Vinarek and Petr Hnetynka
59

Preface

These are the proceedings of the 13th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on April 3rd, 2016 in Eindhoven (The Netherlands) as a satellite event to the European Joint Conference on Theory and Practice of Software (ETAPS'16).
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 (e.g. performance, reliability, security) have stimulated the emergence of analytical and modelling techniques for the design and development of software systems. With the increasing complexity and utilization of today's software systems, FESCA aims at addressing two research questions: (1) what role is played by the software design phase in the systematic addressing of the analytical and modelling challenges, and (2) how can formal and semi-formal techniques be effectively applied to make the issues easier to address automatically, with lower human intervention.
The previous FESCA workshops at ETAPS 2004 to 2015 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), Colin Atkinson (University of Mannheim, Germany), and Steffen Zschaler (King's College London, UK).


The program committee of FESCA'16 consisted of


The papers were refereed by the program committee and by several outside referees, whose help is gratefully acknowledged.
For the thirteenth 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, March 1, 2016, Jan Kofroň, Jana Tumova, and Bara Buhnova