A Logical Framework for Modeling and Reasoning About the Evolution of Requirements.

Didar Zowghi, Ray Offen

Browse the full RE paper archive.