A logical framework for modeling and reasoning about the evolution of requirements
- 22 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 20, 247-257
- https://doi.org/10.1109/isre.1997.566875
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Defaults in specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A graph-based data model and its ramificationsIEEE Transactions on Knowledge and Data Engineering, 1995
- Alternative approaches to default logicArtificial Intelligence, 1994
- Exceptions for algebraic specifications: on the meaning of “but”Science of Computer Programming, 1993
- Belief revision in a framework for default reasoningPublished by Springer Nature ,1991
- Telos: representing knowledge about information systemsACM Transactions on Information Systems, 1990
- A logical framework for default reasoningArtificial Intelligence, 1988
- On the logic of theory change: Partial meet contraction and revision functionsThe Journal of Symbolic Logic, 1985
- A truth maintenance systemArtificial Intelligence, 1979
- Subjunctives, dispositions and chancesSynthese, 1977