FASE 2021

24th International Conference on Fundamental Approaches to Software Engineering

Accepted papers

Proceedings

FASE is concerned with the foundations on which software engineering is built. Submissions should make novel contributions to making software engineering a more mature and soundly-based discipline. Contributions should be supported by appropriate arguments and validation. Contributions that combine the development of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. We welcome contributions on all such fundamental approaches, including:

• Software engineering as an engineering discipline, including its interaction with and impact on society and economics;
• Requirements engineering: capture, consistency, and change management of software requirements;
• Software architectures: description and analysis of the architecture, e.g. SOA, microservice architectures or software product lines;
• Specification, design, and implementation of particular classes of systems: (self-)adaptive, collaborative, intelligent, embedded, distributed, mobile, pervasive, cyber-physical or service-oriented applications;
• Software quality: (static or run-time) validation and verification of functional and non-functional software properties (including security and data privacy) using techniques such as theorem proving, model checking, testing, analysis, simulation, refinement methods, metrics or visualization techniques;
• Model-driven development and model transformation: meta-modelling, design and semantics of domain-specific languages, consistency and transformation of models, generative architectures;
• Software processes: support for iterative, agile, and open source development;
• Software evolution: refactoring, reverse and re-engineering, configuration management and architectural change, or aspect-orientation;
• Search-based software engineering.

Important dates and submission

See the ETAPS 2021 joint call for papers. Submit your paper via the FASE 2021 author interface of EasyChair.

The review process of FASE 2021 is double-blind, without a rebuttal phase. In your submission, omit your names and institutions; refer to your prior work in the third person, just as you refer to prior work by others; do not include acknowledgements that might identify you.

Paper categories

FASE 2021 solicits three types of submissions: research papers, empirical evaluation papers and tool demonstration papers.

Research papers clearly identify and justify a principled advance to the fundamentals of software engineering. Research papers should clearly articulate their contribution, and provide sufficient evidence for the soundness and applicability of the proposed approach. Research papers are expected to have 15-18 pages llncs.cls (excluding bibliography). Papers longer than 18 pages (excluding bibliography) will be desk-rejected. Additional material intended for reviewers but not for publication in the final version may be included in a clearly marked appendix.

Empirical evaluation papers evaluate existing software challenges or critically validate current proposed solutions with scientific means, i.e., by empirical studies, controlled experiments, rigorous case studies, simulations, etc. Scientific reflection on problems and practices in the software industry also falls into this category. Empirical evaluation papers are expected to have  15-18 pp llncs.cls (excluding bibliography). Papers longer than 18 pages (excluding bibliography) will be desk-rejected.  Additional material intended for reviewers but not for publication in the final version may be included in a clearly marked appendix.

Tool demonstration papers present a new tool, a new tool component, or novel extensions to an existing tool. They should provide a short description of the theoretical foundations and emphasize the design and implementation concerns, including software architecture. The paper should give a clear account of the tool's functionality and discuss the tool's practical capabilities with reference to the type and size of problems it can handle. Authors are strongly encouraged to make their tools publicly available, preferably on the web. Experimental evaluation is not required, however, a motivation as to why the tool is interesting and significant should be provided. Tool demonstration papers can have a maximum of 6 pp llncs.cls (including bibliography). They should have an appendix of up to 6 additional pages with details on the actual demonstration.

Special issues

Special issues of the Springer journals Formal Aspects of Computing (FAC) and Int. J. on Software Tools for Technology Transfer (STTT) will be associated with FASE 2021. Authors of the best papers that fall into these journal’s scopes will be invited to submit significantly extended papers for journal review.

Programme chairs

Esther Guerra (Universidad Autónoma de Madrid, Spain)
Mariëlle Stoelinga (Universiteit Twente, The Netherlands)

Programme committee

João Paulo A. Almeida (Universidade Federal do Espírito Santo, Brazil)
Uwe Aßmann (Technische Universität Dresden, Germany)
Étienne André (LORIA, Université de Lorraine, France)
Artur Boronat (University of Leicester, United Kingdom)
Paolo Bottoni (Università di Roma "La Sapienza", Italy)

Jordi Cabot (ICREA - Universitat Oberta de Catalunya, Spain)
Yu-Fang Chen (Academia Sinica, Taiwan)
Philippe Collet (I3S, JUniversité Cote d'Azur, France)
Francisco Durán (Universidad de Málaga, Spain)
Marie-Christine Jakobs (Technische Universität Darmstadt, Germany)

Nils Jansen (Radboud Universiteit Nijmegen, The Netherlands)
Einar Broch Johnsen(University of Oslo, Norway)
Leen Lambers (Hasso Plattner Institute, Germany)
Yi Li (Nanyang Technological University, Singapore)
Stefan Mitsch (Carnegie Mellon University, USA)

Martin R. Neuhäußer (Siemens AG, Germany)
Ajitha Rajan (University of Edinburgh, United Kingdom)
Augusto Sampaio (Universidade Federal de Pernambuco, Brazil)
Perdita Stevens (University of Edinburgh, United Kingdom)
Daniel Strüber (Radboud Universität Nijmegen, The Netherlands)

Gabriele Taentzer (Philipps-Universität Marburg, Germany)
Silvia Lizeth Tapia Tarifa (University of Oslo, Norway)
Daniel Varró (McGill University, Canada)
Heike Wehrheim (Universität Paderborn, Germany)
Manuel Wimmer (Johannes Kepler Universität Linz, Austria)

Anton Wijs (Technische Universiteit Eindhoven, The Netherlands)
Steffen Zschaler (King's College London, United Kingdom)
Tao Yue (Simula Research Laboratory, Norway)