posted by user: sven_schneider || 1320 views || tracked by 7 users: [display]

FASE 2020 : Fundamental Approaches to Software Engineering

FacebookTwitterLinkedInGoogle


Conference Series : Fundamental Approaches to Software Engineering
 
Link: https://www.etaps.org/2020/fase
 
When Apr 25, 2020 - Apr 30, 2020
Where Dublin, Ireland
Submission Deadline Oct 24, 2019
Notification Due Dec 23, 2019
Final Version Due Feb 22, 2020
 

Call For Papers


23rd International Conference on Fundamental Approaches to Software Engineering

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.

Important dates and submission

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

The review process of FASE 2020 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 2020 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 can have a maximum of 18 pp llncs.cls (excluding bibliography).

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 can have a maximum of 18 pp llncs.cls (excluding bibliography).

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. Theoretical foundations and experimental evaluation are 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 2020. Authors of the best papers that fall into these journal’s scopes will be invited to submit significantly extended papers for journal review.
Invited speaker

Willem Visser (Stellenbosch University, South Africa)
Programme chairs

Heike Wehrheim (Universität Paderborn, Germany)
Jordi Cabot (ICREA - Universitat Oberta de Catalunya, Spain)
Programme committee
Amel Bennaceur (Open University, United Kingdom)
Yu-Fang Chen (Academia Sinica, Taiwan)
Maria Christakis (MPI-SWS, Germany)
Vittorio Cortellessa (Universita' dell'Aquila, Italy)
Jin Song Dong (National University of Singapore, Singapore)

Neil Ernst (University of Victoria, Canada)
Esther Guerra (Universidad Autónoma de Madrid, Spain)
Reiko Heckel (University of Leicester, United Kingdom)
Soichiro Hidaka (Hosei University, Japan)
Rob Hierons (University of Sheffield, United Kingdom)

Jennifer Horkoff (Chalmers & Göteborgs Universitet, Sweden)
Marieke Huisman (Universiteit Twente, The Netherlands)
Reiner Hähnle (Technische Universität Darmstadt, Germany)
Valerie Issarny (Inria Paris, France)
Marie-Christine Jakobs (Ludwig-Maximillians-Universität München, Germany)

Einar Broch Johnsen (Universitetet i Oslo, Norway)
Marjan Mernik (University of Maribor, Slovenia)
Arend Rensink (Universiteit Twente, The Netherlands)
Augusto Sampaio (Universidade Federal de Pernambuco, Brazil)
Ina Schaefer (Technische Universität Braunschweig, Germany)

Ana Sokolova (Universität Salzburg, Austria)
Perdita Stevens (University of Edinburgh, United Kingdom)
Mariëlle Stoelinga (Universiteit Twente, The Netherlands)
Gabriele Taentzer (Philipps-Universität Marburg, Germany)
Wil van der Aalst (RWTH Aachen, Germany)

Manuel Wimmer (Technische Universität Wien, Austria
Tao Yue (Simula Research Laboratory, Norway)

Steering committee chair
Gabriele Taentzer (Philipps-Universität Marburg, Germany)
Steering committee
Jordi Cabot (ICREA - Universitat Oberta de Catalunya, Spain)
Marsha Chechik (University of Toronto, Canada)
Reiner Hähnle (Technische Universität Darmstadt, Germany)
Reiko Heckel (University of Leicester, United Kingdom)
Tiziana Margaria (University of Limerick, Ireland)
Fernando Orejas (Universitat Politècnica de Catalunya, Spain)
Julia Rubin (University of British Columbia, Canada)
Alessandra Russo (Imperial College London, UK)
Andy Schürr (Technische Uniiversität Darmstadt, Germany)
Perdita Stevens (University of Edinburgh, United Kingdom)
Wil van der Aalst (RWTH Aachen, Germany)
Andrzej Wasowski (IT University of Copenhagen, Denmark)
Heike Wehrheim (Universtät Paderborn, Germany)

Related Resources

ENASE 2021   16th International Conference on Evaluation of Novel Approaches to Software Engineering
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
WSAI--Ei Compendex and Scopus 2021   2021 the 3rd World Symposium on Artificial Intelligence (WSAI 2021)--Ei Compendex, Scopus
PerIoT 2020   Software Approaches to Improve the Performance of IoT Systems - Applied Sciences (IF 2.217)
IWPR--SPIE, Ei Compendex, Scopus 2021   SPIE--2021 6th International Workshop on Pattern Recognition (IWPR 2021)--Ei Compendex, Scopus
ECBS 2021   7th Conference on the Engineering of Computer Based Systems
ADRW 2021   «Archives during rebellions and wars». From the age of Napoleon to the cyber war era
QuASoQ 2020   8th International Workshop on Quantitative Approaches to Software Quality