Formal Aspects of Component Software
17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
Seiten
2021
|
1st ed. 2021
Springer International Publishing (Verlag)
978-3-030-90635-1 (ISBN)
Springer International Publishing (Verlag)
978-3-030-90635-1 (ISBN)
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.
Invited Papers.- Modelling & Composition.- Verification.
Erscheinungsdatum | 06.11.2021 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | XII, 175 p. 63 illus., 21 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 296 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Schlagworte | Applications • Architecting • architecture verification and validation • Computer Networks • computer programming • Computer Science • Computer systems • conference proceedings • Databases • Embedded Systems • Engineering • Informatics • Internet • Linguistics • Mathematics • Model Checking • Network Protocols • Programming Languages • Research • Signal Processing • software architecture • Software Design • Software engineering • theoretical computer science |
ISBN-10 | 3-030-90635-3 / 3030906353 |
ISBN-13 | 978-3-030-90635-1 / 9783030906351 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
der Ausbildungsbegleiter
Buch | Hardcover (2023)
Rheinwerk (Verlag)
39,90 €