José Proença – författare

This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component software and formal methods in order to promote a deeper understanding of how formal methods can or should be used to make component-based software development succeed.

This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component software and formal methods in order to promote a deeper understanding of how formal methods can or should be used to make component-based software development succeed.

This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.

This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.

This volume constitutes the papers of two workshops which were held in conjunction with the 23rd International Workshop on Software Engineering and Formal Methods, SEFM 2025 Collocated Workshops, held in Toledo, Spain, on November 11, 2025.The 12 full papers and 5 short papers presented in this book were carefully reviewed and selected from 26 submissions. SEFM 2025 Collocated Workshops presents the following two workshops:ReacTS 2025: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.CIFMA 2025: 7th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.

This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover a wide range of topicsand techniques related to system coordination, including: programming andcommunication abstractions; communication protocols and behavioural types;actors and concurrent objects; tuple spaces; games, interfaces and contracts; information flow policies and dissemination techniques; and probabilistic modelsand formal verification.

This book constitutes the proceedings of the 18th InternationalConference on Coordination Models and Languages, COORDINATION 2016, heldin Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.The 16 full papers included in this volume were carefully reviewed andselected from 44 submissions. The papers cover a wide range of topicsand techniques related to system coordination, including: programming andcommunication abstractions; communication protocols and behavioural types;actors and concurrent objects; tuple spaces; games, interfaces and contracts; information flow policies and dissemination techniques; and probabilistic modelsand formal verification.

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.