Markus Lumpe

Luis Soares Barbosa

This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, 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.

7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

Formal Aspects of Component Software

José Proença

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.

14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Wim Vanderperren

Software composition is a complex and fast-moving field, and this excellent new Springer volume keeps professionals in the subject right up to date. It constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Software Composition, SC 2007. The 21 papers are organized in topical sections on composition contracts, composition design and analysis, dynamic composition, short papers, aspect-oriented programming, and structural composition.

Markus Lumpe

Books

Your next favorite book is out there