FASE'05

• Full title: Fundamental Approaches to Software Engineering
• Location: Edinburgh, Scotland
• Date: April 2-10, 2005
• Deadline: October 15, 2004
• Webpage: http://fase05.disi.unige.it/

FASE'05

Fundamental Approaches to Software Engineering

2-10 April 2005
Edinburgh, Scotland

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is a confederation of five main annual conferences, accompanied by satellite workshops and other events. ETAPS 2005 is the eighth joint conference in this series. FASE is one of the main ETAPS conferences.

Large scale Information and Communication Infrastructures are of growing concern to industry and public organizations. They are expected to exist indefinitely, are supposed to be readily adjustable to new requirements and are hence required to encompass evolvable software systems. Quality is increasingly important in both classic and new application domains. This poses new challenges to software engineering research and practice: new software structuring and scaling concepts are needed for heterogeneous software federations that consist of numerous autonomously developed, inter-communicating and inter-operating systems; new software development processes are needed to enable the continual improvement and extension of heterogeneous software federations. New quality assurance methods are needed to guarantee acceptable standards for increasingly complex software applications. Different component paradigms are under discussion now, a large number of specification and modeling languages are being proposed and an increasing number of software development tools and environments are appearing to cope with the problems. At the same time research on new theories, concepts and techniques is under way that targets the development of their precise and (mathematically) formal foundation.

Contributions are encouraged that target both pragmatic concepts and their formal foundations that can lead to new engineering practices and a higher level of reliability, robustness, and evolvability of heterogeneous software federations. Especially sought are submissions on:

• Component-based software architectures: design methods and strategies, design patterns, quality assurance
• Systematic approaches towards evolution management in large scale systems, continuous software engineering, and improvement and adaptation of legacy systems to altered requirements.
• Rigorous approaches to the design, testing, and maintenance of reactive, mobile, and distributed software systems
• Integration platforms and middleware systems for large scale heterogeneous software federations
• Requirements engineering: techniques for acquiring, modeling, specifying and analyzing software components
• Analysis, verification, and testing: algorithms, techniques, and processes concerned with assuring, developing, or assessing software with respect to requirements or goals
• Rigorous approaches to modeling and specification: models in the development and maintenance process, model-driven engineering, modeling and specification languages supporting multiple viewpoints.
• Integration of formal concepts and current best practices in industrial software development
• Experience reports on best practices with component models and specifications, development tools, modeling environments, and software development kits

FASE accepts two types of contributions. Only the programme committee chairs are not allowed to submit to FASE.

Research papers

Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden.

Papers must be submitted in PostScript or PDF format. Submissions in the format of any specific text processing system such as Latex, MS-Word, Adobe-Framemaker, or any other proprietary format cannot be accepted.

The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series. Final papers will be no more than 15 pages long in the format specified by Springer-Verlag at http://www.springer.de/comp/lncs/authors.html. It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. E-mail addresses and fax numbers of the authors should be included on the title page.

Tool demonstration papers

Demonstrations of novel and state-of-the-art tools are also invited. A submission should have a clear connection to FASE, possibly complementing a paper submitted separately.

Tool demonstrations are an integrated part of the ETAPS programme. Selected demonstrations will be presented in ordinary conference sessions, using state-of-the-art projection. The time allowed will be approximately the same as that for the presentation of a research paper. The demonstration will be accompanied by the publication of a short paper (up to 4 pages) in the proceedings of FASE, describing the main features of the tool.

Submissions should take the form of a self-contained tool description of no more than 4 pages in the same format as research papers. The tool description should be accompanied by an appendix (not intended for publication, and not included in the page limit) indicating which features of the tool would be demonstrated - preferably with some sample screen snapshots - followed by a detailed specification of the hardware, software, and licensing requirements for installing and using the tool.

N.B. Tool demonstrations should not be confused with research contributions to the TACAS conference, which emphasizes principles of tool design, implementation, and use, rather than focusing on specific domains of application. Important Dates

As a part of ETAPS, FASE adheres to ETAPS submission and notification deadlines:

The above deadlines are STRICT. Making the deadline for submission of abstracts a week early allows the programme committees 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.

The invited speaker for FASE is Tom Henzinger, Berkeley, USA.

• Silvia Teresita Acuña, Universidad Autónoma de Madrid (Spain)
• Leonor Barroca, The Open University (UK)
• Yolande Berbers, Katholieke Universiteit Leuven (Belgium)
• Jean Bézivin, University of Nantes (France)
• Jean-Michel Bruel, University of Pau (France)
• Maura Cerioli, Università di Genova (Italy)
• Marsha Chechik, University of Toronto (Canada)
• Gianpaolo Cugola, Politecnico di Milano (Italy)
• Colin Fidge, University of Queensland (Australia)
• Anthony Finkelstein, University College London (UK)
• Chris George, UNU/IIST (Macao)
• Martin Große-Rhode, Fraunhofer-Institut für Software und Systemtechnik (Germany)
• Tomasz Janowski, University of Gdańsk (Poland)
• Mehdi Jazayeri, Technical University of Vienna (Austria)
• Cliff Jones, University of Newcastle upon Tyne (UK)
• Antónia Lopes, University of Lisbon (Portugal)
• Tiziana Margaria, University of Dortmund (Germany)
• Stephan Merz, INRIA Lorraine, LORIA (France)
• Carlo Montangero, Università di Pisa (Italy)
• Doron Peled, The University of Warwick (UK)
• Ernesto Pimentel, Universidad de Málaga (Spain)
• Alfred W. Strohmeier, Swiss Federal Institute of Technology in Lausanne (Switzerland)
• Michel Wermelinger, Universidade Nova de Lisboa (Portugal).
• Roel Wieringa, University of Twente (The Netherlands).
• Alexander Wolf, University of Colorado at Boulder (USA)

For any matter concerning FASE (except for submitting papers and abstracts) please contact the PC chair at fase05@disi.unige.it.

2004-04-21