Reasoning about inconsistencies in natural language requirements

Assoc Computing Machinery
Publication Type:
Journal Article
ACM Transactions On Software Engineering And Methodology, 2005, 14 (3), pp. 277 - 330
Issue Date:
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: