[IEEE Comput. Soc. Press IEEE International Conference on Requirements Engineering - Colorado Springs, CO, USA (18-22 April 1994)] Proceedings of IEEE International Conference on Requirements Engineering - Transitioning to rigorous software specification