Cover Image

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Show other versions (2)

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Full description

Saved in:
Bibliographic Details
Other Authors: Wehrheim, Heike (Editor), Cabot, Jordi (Editor)
Format: Electronic Book Chapter
Language:English
Published: Cham Springer Nature 2020
Series:Lecture Notes in Computer Science; Theoretical Computer Science and General Issues 12076
Subjects:
Software Engineering
Expert systems / knowledge-based systems
Algorithms & data structures
Systems analysis & design
Computer networking & communications
Artificial intelligence
Special Purpose and Application-Based Systems
Control Structures and Microprogramming
Computer System Implementation
Information Systems and Communication Service
Artificial Intelligence
open access
software engineering
requirements engineering
model-based design
software analysis
testing
software architectures
security
model transformations
software evolution
software product lines
architecting
artificial intelligence
computer programming
computer systems
embedded systems
mathematics
software architecture
software design
Online Access:OAPEN Library: download the publication
OAPEN Library: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.
Physical Description:1 electronic resource (552 p.)
ISBN:978-3-030-45234-6
Access:Open Access

Similar Items