Dagstuhl Seminar Proceedings: Empirical Theory and the Science of Software Engineering 2004