Fundamental Approaches to Software Engineering

Braga (Portugal), 24 March - 1 April, 2007



Call for Papers
Important Dates
Invited Speaker
ETAPS 2007


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 2007 is the tenth joint conference in this series. The conference is organized by the Universidade do Minho. The prior conferences have been ETAPS 1998 in Lisbon, ETAPS 1999 in Amsterdam, ETAPS 2000 in Berlin, ETAPS 2001 in Genova, ETAPS 2002 in Grenoble, ETAPS 2003 in Warsaw, ETAPS 2004 in Barcelona, ETAPS 2005 in Edinburgh, and ETAPS 2006 in Vienna.


Call for Papers

The information society is increasingly reliant on software at all levels. Hence, the ability to produce software of high quality at low cost is crucial to technological and social progress. An intrinsic characteristic of software that integrates with real-world processes is the need to evolve in order to adjust to new or changing requirements. Maintaining quality while embracing change is one of the main challenges of software engineering. Software engineers have at their disposal theories, languages, methods, and tools that derive from both the systematic research of the academic community and the experience of practitioners. It is one of the roles of software engineering as a scientific discipline to foster feedback between academia and industry by proposing new solutions and evaluating the effectiveness of those solutions in practical contexts.

Submissions to FASE may address either novel proposed solutions or the evaluation of solutions, but they must clearly identify: the problem being solved, the proposed solution and its relationship to existing solutions, and, in the case of evaluations, the context in which the evaluation was conducted. Contributions that combine the development of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged.

Covered topics

A non-exclusive list of topics of interest is:

  • 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
  • Implementation concepts and technologies: distributed, mobile, and embedded applications, service-oriented architectures and Web Services
  • Software processes: support for iterative, agile, and open source development
  • Model-driven development: design and semantics of semi-formal visual languages, consistency and transformation of models
  • Software evolution: refactoring, reverse and re-engineering, configuration management and architectural change, or aspect-orientation
  • Software quality: validation and verification of software using theorem proving, testing, analysis, metrics or visualization techniques
  • Application of formal methods to software development



The ETAPS conferences accept two types of contributions: research papers and tool demonstration papers. Both types of contributions will appear in the proceedings, published in the Springer-Verlag Lecture Notes in Computer Science series.

Submitted papers must:

  • be in English
  • present original research which is unpublished and not submitted for publication elsewhere; in particular, simultaneous submission of the same contribution to multiple ETAPS conferences is not permitted
  • be in the format specified by Springer-Verlag at the URL: http://www.springer.de/comp/lncs/authors.html
  • be submitted electronically in PDF format via the web site of FASE Conference Service, available here.

Submissions not adhering to the specified format and length may be rejected immediately, without review. 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.

Research papers

Research papers should describe a novel contribution to the field. Final papers shall not be more than 15 pages long. 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.

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

  • Friday 6 October 2006: Abstract submission
  • Friday 13 October 2006: Paper submission (deadline expires on Saturday, Oct 14 00:00:00 2006, Samoa Time)
  • Friday 8 December 2006: Author notification
  • Friday 5 January 2007: Camera-ready paper versions due
  • Saturday 24 March to Sunday 1 April 2007: ETAPS 2007
The above 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. Obviously, there is no need to wait with submission of the full version until the final deadline.

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

Jan Bosch, Nokia Research Center (Finland)



Programme Committee


Matt Dwyer,

Antónia Lopes,

University of Nebraska (USA)

University of Lisbon (Portugal)

  • Luciano Baresi, Politecnico di Milano (Italy) 
  • Martin Grosse-Rhode, Fraunhofer-ISST (Germany)
  • Mieke Massink, CNR-ISTI (Italy)
  • Yolande Berbers, Katholieke Universiteit Leuven (Belgium)
  • Anthony Hall, independent consultant (UK)
  • Carlo Montangero, University of Pisa (Italy)
  • Carlos Canal, University of Málaga (Spain)
  • Reiko Heckel, University of Leicester (UK)
  • Barbara Paech, University of Heidelberg (Germany)
  • Myra Cohen, University of Nebraska (USA)
  • Patrick Heymans, University of Namur (Belgium)
  • Leila Ribeiro, Federal Univ. of Rio Grande do Sul (Brazil)
  • Ivica Crnkovic, Mälardalen University (Sweden)
  • Paola Inverardi, University of L'Aquila (Italy)
  • Robby, Kansas State University (USA)
  • Arie van Deursen, Delft Univ. of Technology (Netherlands)
  • Valérie Issarny, INRIA-Rocquencourt (France)
  • Catalin Roman, Washington University (USA)
  • Juergen Dingel, Queen's University (Canada)
  • Natalia Juristo, Univ. Politecnica de Madrid (Spain)
  • Sebastian Uchitel, Imperial College (UK) and University of Buenos Aires (Argentina)
  • Harald Gall, University of Zurich (Switzerland)
  • Kai Koskimies, Tampere Univ. of Technology (Finland)
  • Jianjun Zhao, Shanghai Jiao Tong University (China)
  • Holger Giese, University of Paderborn (Germany)
  • Patricia Lago, Vrije Universiteit (Netherlands)

Steering Committee

  • Tiziana Margaria, Universität Potsdam (Germany)
  • Hartmut Ehrig, Technical University of Berlin(Germany)
  • Michel Wermelinger, Open University (UK)
  • Maura Cerioli, University of Genova (Italy)
  • Luciano Baresi, Politecnico de Milano (Italy)
  • Reiko Heckel, University of Leicester (UK)
  • Matt Dwyer, University of Nebraska (USA)
  • Antónia Lopes, University of Lisbon (Portugal)