Download:
|
by Didar Zowghi, Vincenzo Gervasi, Andrew Mcrae
in Natural Language Requirements, Proc. of the 8th Asia-Pacific Software Engineering Conference
http://circe.di.unipi.it/~gervasi/test/../Papers/apsec01.ps
Add To MetaCart
Abstract:
The use of logic in identifying and analysing inconsistency in requirements from multiple stakeholders has been found to be eective in a number of studies. Default reasoning is a theoretically well founded formalism that is especially suited for supporting the evolution of requirements. However, direct use of logic in eliciting requirements and in discussing them with stakeholders poses serious useability problems. In this paper we explore the integration of natural language parsing techniques with default reasoning to overcome these di-culties. 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.
Citations
|
1134
|
Building a large annotated corpus of English: The Penn Treebank
– Marcus, Santorini, et al.
- 1993
|
|
448
|
Knowledge In Flux: modeling the dynamics of epistemic states
– Gardenfors
- 1988
|
|
342
|
A logical framework for default reasoning
– Poole
- 1988
|
|
332
|
Logic for problem solving
– Kowalski
- 1974
|
|
184
|
Probabilistic Part-of-Speech Tagging Using Decision Trees
– Schmid
- 1994
|
|
161
|
Inconsistency Handling In MultiPerspective Specifications
– Finkelstein, Gabbay, et al.
- 1994
|
|
120
|
Theorist: A logical reasoning system for defaults and diagnosis
– Poole, Goebel, et al.
- 1987
|
|
90
|
Tolerating inconsistency
– Balzer
- 1991
|
|
58
|
So What Can We Talk About Now
– Webber
- 1983
|
|
56
|
A natural language approach for Requirements Engineering
– Rolland, Proix
- 1992
|
|
27
|
Processing Natural Language Requirements
– Ambriola, Gervani
- 1997
|
|
25
|
Lightweight validation of natural language requirements
– Gervasi, Nuseibeh
- 2000
|
|
24
|
A Comedy of Errors: the London Ambulance Service case study
– Finkelstein, Dowell
- 1996
|
|
23
|
Natural Language Processing for Requirements Specification
– Macias, Pulman
- 1993
|
|
22
|
A method for validating a conceptual model by natural language discourse generation
– Dalianis
- 1992
|
|
22
|
Making inconsistency respectable: a logical framework for inconsistency in reasoning; Part 1
– Gabbay, Hunter
- 1990
|
|
18
|
A logical framework for modeling and reasoning about the evolution of requirements
– Zowghi, Offen
- 1997
|
|
17
|
Assisting requirement formalization by means of natural language translation
– Fantechi, Gnesi, et al.
- 1994
|
|
11
|
How to use linguistic instruments for object-oriented analysis
– Juristo, Moreno, et al.
- 2000
|
|
9
|
Experiences with domain-based parsing of natural language requirements
– Ambriola, Gervasi
- 1999
|
|
9
|
A framework for reasoning about requirements evolution
– Zowghi, Ghose, et al.
- 1996
|
|
7
|
Specifications are necessarily informal or, some more myths of formal methods
– Charlier, Flener
- 1998
|
|
6
|
A logical language for natural language processing
– Ali
- 1994
|
|
6
|
Environment Support for Requirements Writing and Analysis
– Gervasi
- 2000
|
|
3
|
NL-OOPS: From natural language requirements to object oriented requirements using the natural language processing system LOLITA
– Mich
- 1996
|
|
2
|
Advancing CASE productivity by using natural language processing and computerized ontologies: The ACAPULCO system
– Hars
- 1996
|
|
2
|
Managing Inconsistent Speci Reasoning, Analysis and Action
– Hunter, Nuseibeh
- 1998
|
|
1
|
A Logic-Based Framework for the Management of Changing Software Requirements
– Zowghi
- 1999
|
