International Symposium on Fundamentals of Software Engineering (2nd 2007 Tehran, Iran)