학술논문

Fundamental Approaches to Software Engineering
Document Type
book
Author
Source
Subject
Software Engineering/Programming and Operating Systems
Data Structures and Information Theory
Natural Language Processing (NLP)
Programming Techniques
Theory of Computation
Software Engineering
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 performance
software selection and adaptation
software testing and debugging
telecommunication systems
verification
Operating systems
Algorithms & data structures
Information theory
Natural language & machine translation
Computer programming / software engineering
Computer science
Mathematical theory of computation
Artificial intelligence
Language
English
Abstract
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.