Javier Cámara

Sung-Shik Jongmans

This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023. The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.

19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Formal Aspects of Component Software

Sebastián Pfaffen

English edition of the biography, originally in Spanish, written by two journalists who were amazed when the same Pope Francis (Jorge Bergoglio) called them on the phone with the intention to participate in the book, and telling them his version of the most important events of his life; in particular, those years lived in Cordoba, in central Argentina. Almost an autobiography of the Argentine Pope that will surely become a source of reference for the future."

Key Moments in the Formation of Jorge Bergoglio As a Jesuit

Understanding Pope Francis

Rogério de Lemos

Carlo Ghezzi

Antonia Lopes

The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive systems able to reconfigure their structure and modify their behavior at run-time to adapt to environmental changes. Despite these advances, one key aspect of self-adaptive systems that remains to be tackled in depth is "assurances": the provision of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. This book is one of the outcomes of the ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive Systems (ASAS), held in Szeged, Hungary, in September 2011. It contains extended versions of some of the papers presented during the workshop, as well as invited papers from recognized experts. The 12 refereed papers were thoroughly reviewed and selected. The book consists of four parts: formal verification, models and middleware, failure prediction, and assurance techniques.

Principles, Models, and Techniques

Assurances for Self-Adaptive Systems

Javier Cámara

Books

Your next favorite book is out there