Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.cwi.nl/conferences/ETAPS99/FASE.html
Organizers: 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 (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)
Description:
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.
Contributions are especially welcome on the following topics:
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
Date received: February 07, 1999
© 2008 Atlas Conferences Inc.