this book constitutes the refereed proceedings of the 4th international conference on fundamental approaches to software engineering, fase 2001, held in genova, italy in april 2001.the 22 revised full papers presented were carefully reviewed and selected from a total of 74 submissions. the papers are organized in topical sections on metamodeling, distributed components, uml, testing, formal methods, and case studies.