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
Table of contents (20 papers)
-
FASE Contributions
-
Test-Comp Contributions
Other volumes
-
Fundamental Approaches to Software Engineering
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
About this book
The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
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