5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
This book constitutes the refereed proceedings of the 5th
International Conference on Fundamental Approaches to Software
Engineering, FASE 2002, held in Grenoble, France, in April 2002.The
21 revised full papers and four tool presentations were carefully
reviewed and selected from almost 60 submissions. The papers are
organized in topical sections on formal frameworks, model and
program analysis, architecture descriptions, meta-models, formal
approaches towards UML, and requirements engineering.