FASE 2000 - Fundamental Approaches to Software Engineering
To achieve the status of a proper engineering discipline, Software
Engineering requires engineering design and analysis METHODS which are
firmly grounded on scientifically sound concepts as well as well founded
software tools and analyses based on sound engineering principles.
Fundamental approaches are sought, integrating formal approaches with
principled methods, providing the bridge between theory and practice
and
aimed at producing engineering methods and tools for the various phases
of software development. FASE is intended to provide a forum where
fundamental approaches to Software Engineering are presented, compared
and discussed.
Contributions should focus on the problems and methods of Software
engineering; papers are especially welcome on the following topics:
- Methods for the design of high quality software, relying on formal
approaches to specification, refinement, testing and validation
- The use of program derivation and transformation methods to support
software production
- Integration of formal notations and methods with engineering notations
and methods
- Combining programming in the small and programming in the large; design
of software architectures
- Principled approaches to reverse engineering, legacy software, reuse
and evolution
- Case studies of the application of principled Software Engineering
methods
- Reports evaluating industrial experience of the use of Software
Engineering methods
- Rigorous experimental studies of the effectiveness and applicability of
principled methods
Program committee
- Gul Agha, University of Illinois Urbana, agha@cs.uiuc.edu
- David Basin, Albert-Ludwigs-Universität Freiburg, basin@informatik.uni-freiburg.de
- Dan Craigen, ORA Canada, dan@ora.on.ca
- Peter Dybjer, Chalmers University of Technology, peterd@cs.chalmers.se
- José Luiz Fiadeiro, University of Lisbon, llf@di.fc.ul.pt
- Jean-Pierre Finance, University of Nancy, finance@loria.fr
- Hans-Dieter Ehrich, Technical University of Braunschweig, HD.Ehrich@tu-bs.de
- Heinrich Hußmann, Technical University of Dresden, Heinrich.Hussmann@inf.tu-dresden.de
- Michael Lowry, NASA Ames Research Center, lowry@ptolemy.arc.nasa.gov
- Jeff Magee, Imperial College, jnm@doc.ic.ac.uk
- Tom Maibaum (chair), King's College London, tom@dcs.kcl.ac.uk
- Dino Mandrioli, Politecnico di Milano, mandriol@elet.polimi.it
- Narciso Marti Oliet, Universidad Complutense Madrid, narciso@eucmos.sim.ucm.es
- Peter Mosses, University of Aarhus, mosses@csl.sri.com
- Andrzej Tarlecki, University of Warsaw, tarlecki@mimuw.edu.pl
Chairman
Tom Maibaum
Professor of the Foundations of Software Engineering
Department of Computer Science
King's College London
Strand
London WC2R 2LS
UK
tel: +44 171 8482895 (departmental secretary +44 171 8482588)
fax: +44 171 8485072/2851
email: tom@dcs.kcl.ac.uk
or concerning the confercence
fase2000@doc.ic.ac.uk
Further Information: http://iks.cs.tu-berlin.de/fase2000/
Invited Speaker
Wladyslaw M. Turski, University of Warsaw