Author: ACM SIGSOFT International Symposium on the Foundations of Software Engineering (8th 2000 San Diego, Calif.)