Fundamental Approaches to Software Engineering 7th International Conference, Fase 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barcelona

This book constitutes the refereed proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering, FASE 2004, held in Barcelona, Spain, in March/April 2004. The 22 revised full papers and 4 tool presentation papers presented together with an invited paper and the abstract of another invited talk were carefully reviewed and selected from a total of 98 submissions. The papers are organized in topical sections on objects and aspects, smart cards, components, security and web services, modeling and requirements, testing, and model checking and analysis.Wermelinger, Michel is the author of 'Fundamental Approaches to Software Engineering 7th International Conference, Fase 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barcelona', published 2004 under ISBN 9783540213055 and ISBN 3540213058.