loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth Asia-Pacific Software Engineering Conference (APSEC'01)
Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements
Macao, China
December 04-December 07
ISBN: 0-7695-1408-1
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.