Editors:
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)
Conference series link(s): FASE: International Conference on Fundamental Approaches to Software Engineering
Conference proceedings info: FASE 2021.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (20 papers)
-
Front Matter
-
FASE Contributions
-
Front Matter
-
-
Test-Comp Contributions
-
Front Matter
-
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.
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
Editors and Affiliations
-
Universidad Autónoma de Madrid, Madrid, Spain
Esther Guerra
-
University of Twente, Enschede, The Netherlands
Mariëlle Stoelinga
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
License: CC BY
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
-
Published in cooperation with
http://www.etaps.org/