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