Book Details

Fundamental Approaches to Software Engineering

Publication year: 2018

ISBN: 978-3-319-89363-1

Internet Resource: Please Login to download book


This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software Engineering, held in Thessaloniki, Greece, in April 2018, the volume contains regular research papers that cover a wide range of topics, such as program and system analysis, model transformations, configuration and synthesis, graph modeling and transformation,software product lines, test selection, as well as learning and inference.


Subject: Open Access, computer software maintenance, computer software selection and evaluation, formal logic, formal methods, formal specification, programming languages, semantics, software engineering, specifications, verification