Formal Aspects of Component Software - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2021

Formal Aspects of Component Software

Gwen Salaün
  • Function : Scientific advisor
  • PersonId : 1121635


Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. FACS 2021 was concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. We received 16 submissions for the conference, and all of them were reviewed by three reviewers. Based on their reports and subsequent discussions, the Program Committee (PC) decided to accept 8 papers (7 regular papers and 1 tool paper) for inclusion in this volume and programme of FACS 2021. In addition, we invited Radu Calinescu and Corina Pasareanu to give keynotes. This volume contains an abstract of the talk given by Radu Calinescu and an invited paper by Corina Pasareanu. We thank Radu Calinescu and Corina Pasareanu for accepting our invitations to give an invited talk, as well as all authors who submitted their work for FACS 2021. We thank the members of the PC for their effort to write timely and highquality reviews, and their discussions to make the final selection of papers. We also thank the FACS Steering Committee for useful suggestions and support. Finally, we thank the other members of the FACS 2021 organizing committee, Radu Mateescu, Ajay Muroor Nadumane, and Ahang Zuo, for their contribution to organizing the conference.
Fichier principal
Vignette du fichier
preface_facs_2021.pdf (89.95 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03507856 , version 1 (03-01-2022)



Gwen Salaün, Anton Wijs (Dir.). Formal Aspects of Component Software: Proceedings of the 17th International Conference on Formal Aspects of Component Software (FACS 2021). Springer International Publishing, 13077, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-90636-8⟩. ⟨hal-03507856⟩
117 View
29 Download



Gmail Mastodon Facebook X LinkedIn More