ACM SIGSOFT International Symposium on the Foundations of Software Engineering (10th 2002 Charleston, S.C.)