FASE'99 - Fundamental Approaches to Software Engineering

Amsterdam, 20-28 March 1999

SCOPE OF THE CONFERENCE

To enhance software quality, the software production process requires rigorous methods, firmly grounded on scientifically justified techniques. Fundamental approaches are sought, specially integrating so-called formal and informal aspects, 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 are presented, compared and discussed.

Topics covered are:

• Methods for the production of provably correct software, its verification and evolution
• Formalisation of monotonic and non monotonic programs derivations and transformations
• Integration of informal and formal methods
• Methods combining programming in the small and programming in the large
• Formal approaches for reverse engineering and design of software architectures
• Case studies of applications of formal and semiformal methods
• Reports evaluating industrial experiences
• Rigorous experimental studies of effectiveness and applicability of formal methods

Programme Committee

• Jean-Pierre Finance (Chair, University Henri Poincare, France)
• Egidio Astesiano (Universitá di Genova, Italy, past-chair)
• Michel Bidoit (Ecole Normale Superieure de Cachan, France)
• Dan Craigen (Canada)
• Carlo Ghezzi (Politcnico di Milano, Italy)
• Hartmut Ehrig (Technische Universität Berlin, Germany)
• Rene Jacquart (CERT DERI, Toulouse, France)
• Cliff Jones (Harlequin Ltd, UK)
• Tom Maibaum (Imperial College, London, UK)
• F.Orejas (Barcelona, Spain)
• Doug Smith (Kestrel Institute, Palo Alto, California, USA)
• Axel Van Lamsweerde (Université Catholique de Louvain, Belgium)
• Martin Wirsing (Universität München, München, Germany)

Contact: Jean-Pierre Finance

Back to ETAPS'99 page

Programme

Wednesday March 24

Thursday March 25

Friday March 26