Fundamental Approaches to Software Engineering

Paphos, Cyprus, 22 - 26 March, 2010


Accepted   Papers
Call for Papers
Important Dates
Invited Speaker
ETAPS 2010


Conference Description

FASE is a member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS), which is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS 2010 is the thirteenth joint conference in this series. 


Call for Papers

FASE is concerned with the foundations on which Software Engineering is built. Submissions should not focus on the application or evaluation of given methods, tools or techniques for their own sake but, rather, the principles on which they are based and the way in which they contribute to making Software Engineering a more mature and soundly-based discipline. 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 a classical engineering discipline, including interaction of software engineering with and impact on society;
  • Requirements engineering: elicitation, specification, consistency, and change management of software requirements;
  • Software architectures: description and analysis of the architecture of individual systems or classes of applications, including product-line architectures and aspect orientation;
  • Specification, design, and implementation of particular classes of systems: adaptive, collaborative, embedded, distributed, mobile, pervasive, ultra large-scale or service-oriented applications;
  • Model-driven development: model transformation, design and semantics of semi-formal visual languages, and consistency of models;
  • Software quality: validation and verification of software using theorem proving, model-checking, testing, analysis, metrics or visualisation techniques;
  • Software processes, including support for iterative, agile, and open source development;
  • Software evolution: refactoring, reverse and re-engineering, configuration management and architectural change.


ETAPS conferences accept two types of contributions: research papers and tool demonstration papers. Both types of contributions will appear in the proceedings and have presentations during the conference.

Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere (neither conference nor journal). In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. All papers, especially research papers, should clearly identify their novel contributions to the domain of fundamental approaches to software engineering. One author of each accepted paper must attend the conference to present the paper.

Papers should be submitted electronically in PDF (preferably) or PS (using Type 1 fonts). The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series. Final papers will be in the format specified by Springer-Verlag at the URL: Submissions not adhering to the specified format and length may be rejected immediately, without review. As electronical submission system we use EasyChair. Please use  to submit your paper.

Research papers

Research papers will be not more than 15 pages long (including figures and references). Additional material intended for the referee but not for publication in the final version - for example details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. ETAPS referees are at liberty to ignore appendices, and papers must be understandable without them.

Tool demonstration papers

Tool demonstration papers should describe novel and state-of-the-art tools. Submissions should consist of two parts. The first part, no more than 4 pages, should describe the tool presented. Please include the URL of the tool (if available) and provide information that illustrates the maturity and robustness of the tool. This part will be included in the proceedings. The second part, no more than 6 pages, should explain how the demonstration will be carried out and what it will show, including screen dumps and examples. This part will not be included in the proceedings, but will be evaluated.

Important Dates

  • 1 October 2009: Submission deadline for abstracts (strict)   
  • 8 October 2009: Submission deadline for full papers (strict)
  • 11 December 2009: Notification of acceptance/rejection
  • 4 January 2010: Camera-ready versions due (strict)
  • 20-28 March 2009: ETAPS 2010

ETAPS deadlines are strict. Making the deadline for submission of abstracts a week early allows the programme committee to start work before full versions are available.

Submission of an abstract implies no obligation to submit a full version; abstracts with no corresponding full versions by the final deadline will be treated as withdrawn.

Invited Speaker

Mark Harman, King's College London (UK)


Programme Co-Chairs

  • David Rosenblum, University College London (UK)
  • Gabriele Taentzer, Philipps-Universität Marburg (Germany)

Programme Committee

  • Don Batory, University of Texas at Austin (USA)
  • Antonia Bertolino, ISTI-CNR (Italy)
  • Vittorio Cortellessa, Università dell'Aquila (Italy)
  • Serge Demeyer, University of Antwerp (Belgium)
  • Alexander Egyed, Johannes Kepler University Linz (Austria)
  • Sebastian Elbaum, University of Nebraska - Lincoln (USA)
  • José Fiadeiro University of Leicester (UK)
  • Dimitra Giannakopoulou, Carnegie Mellon University/NASA Ames (USA)
  • Holger Giese, Hasso Plattner Institute, Potsdam (Germany)
  • Reiko Heckel, University of Leicester (UK)
  • Paola Inverardi, Università dell'Aquila (Italy)
  • Jana Köhler, IBM Research Zurich (Switzerland)
  • Rainer Koschke, University of Bremen (Germany)
  • Juan de Lara, Universidad Autónoma de Madrid (Spain)
  • Emmanuel Letier, University College London (UK)
  • Tom Maibaum, McMaster University (Canada)
  • Tiziana Margeria, Universität Potsdam (Germany)
  • Gail Murphy, University of British Columbia (Canada)
  • Mauro Pezzè, University of Lugano (Switzerland) and Univeristy of Milan Bicocca (Italy)
  • Leila Ribeiro, Federal University of Rio Grande do Sul (Brazil)
  • Franco Raimondi, Middlesex University (UK)
  • Andy Schürr, Technische Universität Darmstadt (Germany)
  • Perdita Stevens, (University of Edinburgh (UK)
  • Harald Störrle, Technical University of Denmark (Denmark)
  • Dániel Varró , Budapest University of Technology and Economics (Hungary)
  • Heike Wehrheim, University of Paderborn (Germany)

Steering Committee
  • Marsha Chechik, University of Toronto (Canada) (SC Chair)
  • Maura Cerioli, University of Genova (Italy)
  • Hartmut Ehrig, Technical University of Berlin(Germany)
  • José Fiadeiro, University of Leicester (UK)
  • Paola Inveradi,Università dell'Aquila (Italy)
  • Tiziana Margaria, Universität Potsdam (Germany)
  • David Rosenblum, University College London (UK)
  • Gabriele Taentzer, Philipps-Universität Marburg (Germany)
  • Martin Wirsing, Ludwig-Maximilians-University Munich (Germany)