Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12649)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: FASE 2021.
Buy print copy
Tax calculation will be finalised at checkout
About this book
This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic.
The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
Similar content being viewed by others
Keywords
- architecture verification and validation
- artificial intelligence
- embedded systems
- empirical software validation
- formal logic
- formal methods
- model checking
- model-driven software engineering
- object-oriented programming
- parallel processing systems
- program analysis
- program compilers
- signal processing
- software architecture
- software engineering
- software performance
- software selection and adaptation
- software testing and debugging
- telecommunication systems
- verification
Table of contents (20 papers)
-
Front Matter
-
FASE Contributions
-
Front Matter
-
-
Test-Comp Contributions
-
Front Matter
-
Other volumes
-
Fundamental Approaches to Software Engineering
Editors and Affiliations
Bibliographic Information
Book Title: Fundamental Approaches to Software Engineering
Book Subtitle: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
Editors: Esther Guerra, Mariëlle Stoelinga
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-71500-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s) 2021
Softcover ISBN: 978-3-030-71499-4Published: 20 March 2021
eBook ISBN: 978-3-030-71500-7Published: 19 March 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 373
Number of Illustrations: 95 b/w illustrations
Topics: Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, Natural Language Processing (NLP), Programming Techniques, Theory of Computation
