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, Spain, March 29 - April 2, 2004. Proceedings - Wermelinger, Michel; Margaria-Steffen, Tiziana (Springer Berlin Heidelberg, 2004)