Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13077)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: FACS 2021.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
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.
Similar content being viewed by others
Keywords
- architecting
- architecture verification and validation
- computer networks
- computer programming
- computer science
- computer systems
- databases
- embedded systems
- engineering
- internet
- linguistics
- mathematics
- model checking
- network protocols
- programming languages
- signal processing
- software architecture
- software design
- software engineering
- theoretical computer science
Table of contents (9 papers)
-
Front Matter
-
Invited Paper
-
Front Matter
-
-
Verification
-
Front Matter
-
-
Back Matter
Other volumes
-
Formal Aspects of Component Software
Editors and Affiliations
Bibliographic Information
Book Title: Formal Aspects of Component Software
Book Subtitle: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
Editors: Gwen Salaün, Anton Wijs
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-90636-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-90635-1Published: 05 November 2021
eBook ISBN: 978-3-030-90636-8Published: 04 November 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 175
Number of Illustrations: 42 b/w illustrations, 21 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Computer System Implementation, Special Purpose and Application-Based Systems, Computer Communication Networks, Logics and Meanings of Programs, Control Structures and Microprogramming