Fundamental Approaches to Software Engineering

Vienna (Austria), March 27-29, 2006


FASE 2006   Programme
Hotel information


The information-dependent society increasingly relies on software at all levels. Therefore, the ability to pro-duce low cost, high quality software is crucial to technological and social progress. An intrinsic characteristic of real-world application software 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 may take advantage of theories, languages, methods, and tools that derive from both the system-atic research of the academic community and the experience of real-world practitioners. An important role of software engineering as a scientific discipline is to create a feedback cycle between academia and industry by proposing new solutions and identifying those that "work" in practical contexts.

FASE accepts papers on both academic research and industrial experiences, but they must clearly identify the problem and the envisioned solutions. Specifically, contributions are encouraged that combine concep-tual and methodological aspects with their formal foundation and tool support.

Covered topics

A non-exclusive list of topics of interest is:

  • Requirements engineering (elicitation, consistency, and change management of requirements)
  • Software architectures (description and analysis of architectures, product-line architectures)
  • 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 visual languages, consistency and transformation of models)
  • Software evolution (refactoring, reverse engineering and re-engineering, configuration management and architectural change management, aspect-orientation)
  • Software quality (validation and verification techniques, testing, analysis, metrics, visualization tech-niques)
  • Application of formal methods to software development

Paper submissions

The ETAPS conferences accept two types of contributions: research papers and tool demonstration papers. Both types will appear in the proceedings. Submitted papers must be in English and present original re-search. All submitted papers must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is not permitted. One author of each accepted paper must attend the conference to present that paper.

Papers should be submitted electronically in PDF (preferably) or PS (using Type 1 fonts) format. The pro-ceedings 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: http://www.springer.de/comp/lncs/authors.html. It is recommended that submissions adhere to the specified format and length. Submissions that are clearly too long may be rejected immediately.

Research papers

Final papers shall not be more than 15 pages long, and should present original research. 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

Submissions should consist of two parts. The first part, no more than 4 pages, should describe the tool pre-sented. 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 7 October 2005: Abstract submission
  • Friday 14 October 2005: Paper submission
  • Friday 9 December 2005: Author notification
  • Friday 6 January 2006: Camera-ready copy
  • Saturday 25 March to Sunday 2 April 2006: ETAPS 2006

Invited speaker

  • Francisco Curbera (IBM TJ Watson, USA)

Program committee

  • Jan Řyvind Aagedal (SINTEF, Oslo, Norway),
  • Luciano Baresi (Politecnico di Milano), co-chair,
  • Jean Bezivin (University of Nantes, France),
  • Victor Braberman (University of Buenos Aires, Argentina),
  • Maura Cerioli (University of Genova, Italy),
  • Matt Dwyer (University of Nebraska, USA),
  • Anthony Finkelstein (University College London, UK),
  • Harald Gall (University of Zurich, Switzerland),
  • Alan Hartman (IBM, Israel),
  • Reiko Heckel (University of Leicester, UK), co-chair,
  • Mehdi Jazayeri (University of Lugano, Switzerland and University of Vienna, Austria),
  • Antonia Lopes (University of Lisbon, Portugal),
  • Sandro Morasca (Universita' dell'Insubria, Italy),
  • András Pataricza (Budapest University of Technology and Economics, Hungary),
  • Mauro Pezzč (University of Milano-Bicocca, Italy),
  • Arend Rensink (University of Twente, The Netherlands),
  • Leila Ribeiro (Federal University of Rio Grande do Sul, Porto Alegre, Brazil),
  • Andy Schürr (University of Darmstadt, Germany),
  • Gabi Taentzer (University of Berlin, Germany),
  • Tetsuo Tamai (University of Tokio, Japan),
  • Sebastian Uchitel (Imperial College, UK),
  • Heike Wehrheim (University of Paderborn, Germany),
  • Michel Wermelinger (Open University, UK),
  • Alex Wolf (University of Lugano, Switzerland and University of Colorado, USA),
  • Michal Young (University of Oregon, USA)