Reasoning about inconsistencies in natural language requirements

Publisher:
Assoc Computing Machinery
Publication Type:
Journal Article
Citation:
ACM Transactions On Software Engineering And Methodology, 2005, 14 (3), pp. 277 - 330
Issue Date:
2005-01
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2005000900.pdf4.19 MB
Adobe PDF
The use of logic in identifying and analyzing inconsistency in requirements from multiple stakeholders has been found to be effective in a number of studies. Nonmonotonic logic is a theoretically well-founded formalism that is especially suited for suppo
Please use this identifier to cite or link to this item: