Atlas home || Conferences | Abstracts | about Atlas
Host: Technical University of Berlin
Homepage: http://iks.cs.tu-berlin.de/fase2000/
Email: fase2000@doc.ic.ac.uk
Organizers: Tom Maibaum
Deadline for abstracts: October 18, 1999
Description:
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
Speakers: Wladyslaw M. Turski (University of Warsaw)
Date received: September 10, 1999
© 2008 Atlas Conferences Inc.