loading...
Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements
Macao, China December 04-December 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2001.991469Eighth Asia-Pacific Software Engineer ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The use of logic in identifying and analysing inconsistency in requirements from multiple stakeholders has been found to be effective in a number of studies. Default reasoning is a theoretically well founded formalism that is especially suite for supporting the evolution of requirements. However, direct use of logic in eliciting requirements an in discussing them with stakeholers poses serious useability problems. In this paper we explore the integration of natural language parsing techniques with default reasoning to overcome these if difficulties. We also propose a method for automatically discovering scenarios that expose inconsistencies in requirements, and show how to deal with them in a formal manner. These techniques were implemented and tested in a prototype tool called CARL.
Index Terms:
Requirements, default logic, natural language, inconsistency,s cenarios.
Citation:
Didar Zowghi, Vincenzo Gervasi, Andrew McRae, "Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements," apsec, pp.133, Eighth Asia-Pacific Software Engineering Conference (APSEC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions