IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (1st 2007 Shanghai, China)