kirancodes.me
To Proof Maintenance & Beyond!
ASE 1991

The KBSA Requirements/Specifications Facet: ARIES

W. Lewis Johnson, Martin S. Feather, David R. Harris

DOI 10.1109/kbse.1991.638020dblp

Abstract

This paper describes a transformation-based software environment which supports the acquisition and validation of software requirements specifications. These requirements may be stated informally at first, and then gradually formalized and elaborated. The environment assists in the validation of formalized requirements by translating them into natural language and graphical diagrams, and testing them against a running simulation of the system to be built. Requirements defined in terms of domain concepts are transformed into constraints on system components. The advantages of this approach are that specifications can be traced back to requirements and domain concepts, which in turn have been precisely defined.

BibTeX
@inproceedings{Johnson-al:ASE91,
  author    = {W. Lewis Johnson and
               Martin S. Feather and
               David R. Harris},
  title     = {The {KBSA} {Requirements/Specifications} Facet: {ARIES}},
  booktitle = {ASE},
  pages     = {48--56},
  publisher = {{IEEE} Computer Society},
  year      = {1991},
}

Related papers