Reasoning about inconsistencies in natural language requirements

V Gervasi, D Zowghi - ACM Transactions on Software Engineering and …, 2005 - dl.acm.org
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 …

Reasoning about inconsistencies in natural language requirements

V Gervasi, D Zowghi - ACM TRANSACTIONS ON SOFTWARE …, 2005 - arpi.unipi.it
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 …

[PDF][PDF] Reasoning About Inconsistencies in Natural Language Requirements

V GERVASI, D ZOWGHI - ACM Transactions on Software …, 2005 - academia.edu
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 …

Reasoning about inconsistencies in natural language requirements

V Gervasi, D Zowghi - ACM Transactions on Software Engineering and …, 2005 - cir.nii.ac.jp
抄録< jats: p> 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 …

[PDF][PDF] Reasoning About Inconsistencies in Natural Language Requirements

V GERVASI, D ZOWGHI - ACM Transactions on Software …, 2005 - bilbo.di.unipi.it
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 …

[PDF][PDF] Reasoning About Inconsistencies in Natural Language Requirements

V GERVASI, D ZOWGHI - ACM Transactions on Software …, 2005 - researchgate.net
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 …

[PDF][PDF] Reasoning About Inconsistencies in Natural Language Requirements

V GERVASI, D ZOWGHI - ACM Transactions on Software …, 2005 - scholar.archive.org
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 …

[PDF][PDF] Reasoning About Inconsistencies in Natural Language Requirements

V GERVASI, D ZOWGHI - ACM Transactions on Software Engineering …, 2005 - islp.di.unipi.it
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 …

Reasoning about inconsistencies in natural language requirements

V Gervasi, D Zowghi - ACM Transactions on Software …, 2005 - opus.lib.uts.edu.au
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 …

[PDF][PDF] Reasoning About Inconsistencies in Natural Language Requirements

V GERVASI, D ZOWGHI - ACM Transactions on Software …, 2005 - circe.di.unipi.it
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 …