RADC (Rome Air Development Center) System/Software Requirements Engineering Testbed Research and Development Program
Abstract
This report defines a ten-year R&D program for requirements engineering. The program will assist in the development of a Requirements Engineering Testbed of tools and methodologies for defining the requirements of planned operational systems and for examining research issues in requirements engineering. The Formal Language Track attempts to formally represent requirements and specifications in the same executable language and to develop analysis tools which provide feedback on the requirements and specifications. Such analysis includes treating the specification as a prototype and determining whether the requirements are satisfied. The Evolutionary Track is based on extending existing requirements and specifications techniques. It emphasizes prototyping with scenario generation and execution capabilities in the near/ midterm, and then selectivity enhancing the associated methods, techniques and tools over the long term. In addition to this research approach, the Evolutionary Track attempts testbed integration through development of a common user interface and database for tools. In the course of its work, panel created a generic model of the requirements engineering process, which proved to be of value in many requirements engineering discussions. The panel also characterized the background and objectives of testbed users and analyzed the possible R&D issues in the two tracks.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1988
- Accession Number
- ADA197858
Entities
People
- C. V. Ramamoorthy
- M. Konrad
- R. Balzer
- W. Royce
- W. Rzepka