Applying domain and design knowledge to requirements engineering
- 2 August 1992
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGOIS Bulletin
- Vol. 13 (2) , 48-57
- https://doi.org/10.1145/134376.134387
Abstract
This paper describes efforts to develop 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. Support is provided for groups of requirements analysis working together, focusing on different analysis tasks and areas of concern. 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.Keywords
This publication has 6 references indexed in Scilit:
- Integrating multiple specifications using domain goalsPublished by Association for Computing Machinery (ACM) ,1989
- A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisitionPublished by Association for Computing Machinery (ACM) ,1989
- The requirements apprentice: an initial scenarioPublished by Association for Computing Machinery (ACM) ,1989
- A proposed perspective shift: viewing specification design as a planning problemPublished by Association for Computing Machinery (ACM) ,1989
- The FAA's Advanced Automation System: Strategies for Future Air Traffic Control SystemsComputer, 1987
- Knowledge Representation as the Basis for Requirements SpecificationsComputer, 1985