The component-based software development approach has emerged as a promising paradigm to cope with an ever increasing complexity of present-day software solutions by bringing sound production and engineering principles into software engineering. However, many conceptual and technological issues remain in component-based software development theory and practice that pose challenging research questions. Moreover, the advent of cloud computing, cyber-physical systems, and of the Internet of Things has brought to the fore new dimensions. These include quality of service, reconfiguration and robustness to withstand inevitable faults, which require established concepts to be revisited and new ones to be developed in order to meet the opportunities offered by those architectures.

FACS 2017 is concerned with how formal methods can or should be used to make component-based software development succeed. Formal methods consist of mathematics-based techniques for the specification, development, and verification of software and hardware systems. They have been shown to provide a strong foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.

The objective of FACS 2017 is to bring together researchers and practitioners in the areas of component software and formal methods in order to promote a deeper understanding of the component-based software development paradigm and its applications.