International Symposium on Fundamentals of Software Engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings - Farhad Arbab, Marjan Sirjani ((Lecture Notes in Computer Science))