Formal Aspects of Component Software 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings / [electronic resource] :
edited by Gwen Salaün, Anton Wijs.
- 1st ed. 2021.
- XII, 175 p. 63 illus., 21 illus. in color. online resource.
- Programming and Software Engineering, 13077 2945-9168 ; .
- Programming and Software Engineering, 13077 .
Invited Papers -- Modelling & Composition -- Verification.
This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling & Composition and Verification. Chapter "A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
9783030906368
10.1007/978-3-030-90636-8 doi
Software engineering.
Computer systems.
Computers, Special purpose.
Computer networks .
Computer science.
Microprogramming .
Software Engineering.
Computer System Implementation.
Special Purpose and Application-Based Systems.
Computer Communication Networks.
Computer Science Logic and Foundations of Programming.
Control Structures and Microprogramming.
QA76.758
005.1
Invited Papers -- Modelling & Composition -- Verification.
This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling & Composition and Verification. Chapter "A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
9783030906368
10.1007/978-3-030-90636-8 doi
Software engineering.
Computer systems.
Computers, Special purpose.
Computer networks .
Computer science.
Microprogramming .
Software Engineering.
Computer System Implementation.
Special Purpose and Application-Based Systems.
Computer Communication Networks.
Computer Science Logic and Foundations of Programming.
Control Structures and Microprogramming.
QA76.758
005.1