IEEE International Symposium on Requirenments Engineering (1993 San Diego, Calif.)