SIGSOFT 04 / FSE-12: SIGSOFT 2004 -12th International Symposium on the Foundations of Software Engineering (FSE - 12 )