SIGSOFT 2004/FSE-12 twelfth ACM SIGSOFT International Symposium on the Foundations of Software Engineering : October 31-November 5, 2004, Newport Beach, California, USA (ACM, 2004)