Narrow your search

Library

FARO (1)

KU Leuven (1)

LUCA School of Arts (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLL (1)

UGent (1)

ULB (1)

ULiège (1)

More...

Resource type

book (1)


Language

English (1)


Year
From To Submit

2021 (1)

Listing 1 - 1 of 1
Sort by

Book
Fundamental Approaches to Software Engineering : 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
Authors: ---
ISBN: 3030715000 3030714993 Year: 2021 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

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. .

Keywords

Software Engineering --- Computer programming / software development --- Artificial intelligence --- Computer science --- Software Engineering/Programming and Operating Systems --- Data Structures and Information Theory --- Natural Language Processing (NLP) --- Programming Techniques --- Theory of Computation --- 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 --- Mathematical theory of computation --- Software engineering. --- Data structures (Computer science). --- Information theory. --- Natural language processing (Computer science). --- Computer programming. --- Computer science. --- Software Engineering. --- Data Structures and Information Theory. --- Natural Language Processing (NLP). --- Programming Techniques. --- Theory of Computation. --- Informatics --- Science --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- NLP (Computer science) --- Human-computer interaction --- Semantic computing --- Communication theory --- Communication --- Cybernetics --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer software engineering --- Engineering --- Programming --- Data structures (Computer science) --- Natural language processing (Computer science)

Listing 1 - 1 of 1
Sort by