This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimaraes, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Software Composition, SC 2007, held in Braga, Portugal, in March 2007. The workshop has been organized as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2007.

The 15 revised full papers and 5 revised short papers presented together with the abstract of 1 invited talk were carefully selected during two rounds of reviewing and improvement from 59 submissions. The papers are organized in topical sections on composition contracts, composition design and analysis, dynamic composition, short papers, aspect-oriented programming, and structural composition.

This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects of Component Software, FACS 2017, held in Braga, Portugal, in October 2017. The 14 full papers presented were carefully reviewed and selected from 26 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.