Artur S. d Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer. An Analysis-Revision Cycle to Evolve Requirements Specifications. In 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA. pages 354-358, IEEE Computer Society, 2001. [doi]
Abstract is missing.