Didar Zowghi, Ray Offen
A Logical Framework for Modeling and Reasoning About the Evolution of Requirements
RE, 1997.
@inproceedings{RE-1997-ZowghiO, author = "Didar Zowghi and Ray Offen", booktitle = "{Proceedings of the Third International Symposium on Requirements Engineering}", doi = "10.1109/ISRE.1997.566875", isbn = "0-8186-7740-6", pages = "247--None", publisher = "{IEEE Computer Society}", title = "{A Logical Framework for Modeling and Reasoning About the Evolution of Requirements}", year = 1997, }