FASE'09
Fundamental Approaches to Software Engineering
York, UK, 22 - 29 March, 2009
|
FASE'09 York, UK, 22 - 29 March, 2009 |
|
|
|
|
|
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 2009 is the twelfth joint conference in this series. The conference is organized by the University of York.
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:
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 papersResearch 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 papersTool 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.
Stephen Gilmore, University of Edinburgh (UK)
|
|||