[1993] Proceedings of the IEEE International Symposium on Requirements Engineering