Download:
|
by Vincenzo Gervasi, Bashar Nuseibeh
Softw., Pract. Exper
http://circe.di.unipi.it/~gervasi/test/../Papers/icre00.ps
Add To MetaCart
Abstract:
In this paper, we report on our experiences of using lightweight formal methods for the partial validation of natural language (NL) requirements documents. We describe a case study based on part of NASA's specification of the Node Control Software of the International Space Station, and apply to it our method of checking properties on models obtained by shallow parsing of natural language requirements. These experiences support our position that it is feasible and useful to perform automated analysis of requirements expressed in natural language. Indeed we identified a number of errors in our case study that were also independently discovered and corrected by NASA's IV&V Facility in a subsequent version of the same document. The paper describes the techniques we used, the errors we found, and reflects on the lessons learned.
Citations
|
1015
|
The C Programming Language
– Kernighan, Ritchie
|
|
69
|
The Requirements Apprentice: Automated Assistance for Requirements Acquisition
– Reubenstein, Walters
- 1991
|
|
65
|
Elements of style: Analyzing a software design feature with a counterexample detector
– Jackson, Damon
- 1996
|
|
56
|
A natural language approach for Requirements Engineering
– Rolland, Proix
- 1992
|
|
48
|
R.: SCR*: A Toolset for Specifying and Analyzing Software Requirements
– Heitmeyer, Kirby, et al.
- 1998
|
|
42
|
Lightweight formal methods
– Jackson, Wing
- 1996
|
|
40
|
Experiences Using Lightweight Formal Methods for Requirements Modeling
– Easterbrook, Lutz, et al.
- 1998
|
|
32
|
Integrating formal methods into the development process
– Kemmerer
- 1990
|
|
28
|
Lightweight source model extraction
– Murphy, Notkin
- 1995
|
|
27
|
Processing Natural Language Requirements
– Ambriola, Gervani
- 1997
|
|
26
|
Abstfinder: A Prototype Natural Language Text Abstraction Finder for Use in Requirement Elicitation
– Goldin, Berry
- 1997
|
|
24
|
Towards a deeper understanding of quality in requirements engineering
– Krogstie, I, et al.
- 1995
|
|
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
|
|
20
|
Rapid Application of Lightweight Formal Methods for Consistency Analyses
– Feather
- 1998
|
|
18
|
The Importance of Ignorance in Requirements Engineering
– Berry
- 1995
|
|
17
|
Ariane 5: Who Dunnit
– Nuseibeh
- 1997
|
|
13
|
A framework for requirements analysis using automated reasoning
– Duffy, MacNish, et al.
- 1995
|
|
9
|
Proving properties of concurrent systems with SPIN
– Holzmann
- 1995
|
|
9
|
S.: Achieving Quality in Natural Language Requirements
– Fabbrini, Fusani, et al.
- 1998
|
|
3
|
Restructuring Requirements Specifications
– Russo, Nuseibeh, et al.
- 1999
|
|
2
|
Achieving Quality
– Fabbrini, Fusani, et al.
- 1998
|
|
2
|
Restructuring Requirements Specifications: a case study
– Russo, Nuseibeh, et al.
- 1998
|
|
1
|
Lightweight Formalisation
– Hesketh, Robertson, et al.
- 1998
|
|
1
|
Requirements Specification for the NCS
– NASABoeing
- 1997
|
