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 |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2025)
O'Reilly (Verlag)
CHF 27,85
