FASE 2009 - Fundamental Approaches to Software Engineering

York (UK), March 23 - 29, 2009
http://www.pst.ifi.lmu.de/fase2009/

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'09
(http://www.cs.york.ac.uk/etaps09/ ) is the twelfth joint conference
in this series. The conference is organized by the University of
York.

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.
FASE is concerned with the foundations on which Software Engineering
is built. Submissions should focus on novel techniques and the way
in which they contribute to making Software Engineering a more mature
and sound 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 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, metrics or
visualisation techniques;
* Model-driven development and model-transformation: design and
semantics of semi-formal visual languages, consistency and
transformation of models;
* 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.

Submission
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:
http://www.springer.de/comp/lncs/authors.html. Papers should be
submitted via the web site of the FASE Conference Service,
http://www.easychair.org/conferences/?conf=fase09. Submissions not
adhering to the specified format and length may be rejected
immediately, without review.

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
* 2 October 2008 (11:59 Samoa time GMT-11) Submission deadline for
abstracts (strict)
* 9 October 2008 (11:59 Samoa time GMT-11) Submission deadline for
full papers (strict)
* 12 December 2008 Notification of acceptance/rejection
* 5 January 2008 (11:59 Samoa time GMT-11) Camera-ready version due
(strict)
* 22 March - 29 March 2009 ETAPS 2009
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
Stephen Gilmore, University of Edinburgh (UK)

Committees

Programme Co-Chairs
Marsha Chechik, University of Toronto (Canada)
Martin Wirsing, LMU Munich (Germany)

Programme Committee
Michel Bidoit, INRIA Saclay (France)
Ruth Breu, University of Innsbruck (Austria)
Jim Davies, University of Oxford (UK)
Juergen Dingel, Queen's University (Canada)
Schahram Dustdar, Vienna University of Technology (Austria)
Alexander Egyed, Johannes Kepler University Linz (Austria)
Jose Fiadeiro, University of Leicester (UK)
Harald C. Gall, University of Zurich (Switzerland)
Dimitra Giannakopolou, RIACS/NASA Ames (USA)
Reiko Heckel, University of Leicester (UK)
Mats Heimdahl, University of Minnesota (USA)
Paola Inverardi, University of L'Aquila (Italy)
Alexander Knapp, University of Augsburg (Germany)
Angelika Mader, University of Twente (Netherlands)
TSE Maibaum, McMaster University (Canada)
Tiziana Margaria, University of Potsdam (Germany)
Fabio Massacci, University of Trento (Italy)
Stephan Merz, INRIA Nancy (France)
Peter Olveczky, University of Oslo (Norway)
Richard Paige, University of York (UK)
Gregg Rothermel, University of Nebraska-Lincoln (USA)
Koushik Sen, University of California, Berkeley (USA)
Perdita Stevens, University of Edinburgh (UK)
Gabriele Taentzer, University of Marburg (Germany)
Ladan Tahvildari, University of Waterloo (Canada)
Tetsuo Tamai, University of Tokyo (Japan)
Sebastian Uchitel, University of Buenos Aires (Argentina)
Daniel Varro, Budapest University of Technology and Economics (Hungary)

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)
Antonia Lopes, University of Lisbon (Portugal)