First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07)