ETAPS 2017: 22-29 April 2017, Uppsala, Sweden

FASE 2017

20th International Conference on Fundamental Approaches to Software Engineering (FASE)

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;
  • Requirements engineering: capture, consistency, and change management of software requirements;
  • Software architectures: description and analysis of the architecture of individual systems or classes of applications;
  • Specification, design, and implementation of particular classes of systems: adaptive, collaborative, embedded, distributed, mobile, pervasive, or service-oriented applications;
  • Software quality: validation and verification of software using theorem proving, model checking, testing, analysis, refinement methods, metrics or visualisation 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 2017 joint call for papers. Submit your paper via the FASE 2017 author interface of EasyChair.

FASE 2017 will use a double-blind review process. Therefore, 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. If in doubt, please contact the chairs.

FASE 2017 will not have a rebuttal phase.

FASE paper categories

FASE accepts 3 types of submissions: research papers, tool papers, and tool demo papers (4+6 pp).

Research papers clearly identify and justify a principled advance to the fundamentals of software engineering. Papers should clearly articulate their contribution, and provide sufficient evidence for the validity and applicability of the proposed approach. Research papers that combine the development of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. Research papers can have a maximum of 15 pp (excluding bibliography of max 2 pp).

Regular tool 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 with relevant citations, and emphasize the design and implementation concerns, including software architecture . A regular tool paper should give a clear account of the tool's functionality, discuss the tool's practical capabilities with reference to the type and size of problems it can handle, describe experience with realistic case studies, and where applicable, provide a rigorous experimental evaluation. Papers that present extensions to existing tools should clearly focus on the improvements or extensions with respect to previously published versions of the tool, preferably substantiated by data on enhancements in terms of resources and capabilities. Authors are strongly encouraged to make their tools publicly available, preferably on the web, even if only for the evaluation process. Tool papers can have a maximum of 15 pp (excluding bibliography of max 2 pp).

Tool demonstration papers focus on the usage aspects of tools. As with regular tool papers, 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 4 pages. They should have an appendix of up to 6 additional pages with details on the actual demonstration.

Special issue

A special issue of the Springer journal Software Tools for Technology Transfer (STTT) will be associated with FASE 2017. Authors of the best papers that fall within STTT's scope will be invited to submit significantly extended papers for journal review.

Programme chairs

Marieke Huisman (Universiteit Twente, The Netherlands)
Julia Rubin (University of British Columbia, Canada)

Programme committee

Jordi Cabot (ICREA, Spain)
Yuanfang Cai (Drexel University, USA)
Sagar Chaki (Carnegie-Mellon University, USA)
Hana Chockler (King's College London, UK)
Ewen Denney (SGT / NASA Ames, USA)

Bernd Fischer (Stellenbosch University, South Africa)
Milos Gligoric (University of Texas at Austin, USA)
Stefania Gnesi (ISTI-CNR, Italy)
Dilian Gurov (KTH Royal University of Technology, Sweden)
Mark Harman (University College London, UK)

Reiko Heckel (University of Leicester, UK)
Valérie Issarny (INRIA Paris - Rocquencourt, France)
Einar Broch Johnsen (University of Oslo, Norway)
Martin Leucker (Universität zu Lübeck, Germany)
Antónia Lopes (Universidade de Lisboa, Portugal)

Shiva Nejati (Université de Luxembourg, Luxembourg)
Fabrizio Pastore (Università di Milano-Bicocca, Italy)
Bernhard Rumpe (RWTH Aachen, Germany)
Rick Salay (University of Toronto, Canada)
Ina Schaefer (Technische Universität Braunschweig, Germany)

Perdita Stevens (University of Edinburgh, UK)
Gabriele Taentzer (Philipps-Universität Marburg, Germany)
Dániel Varró (McGill University, Canada, and Budapest University of Technology and Economics, Hungary)
Andrzej Wąsowski (IT University of Copenhagen, Denmark)
Virginie Wiels (ONERA, France)