Automated analysis of the SCR-style requirements specifications
- 31 Downloads
The SCR (Software Cost Reduction) requirements method is an effective method for specifying software system requirements. This paper presents a formal model analyzing SCR-style requirements. The analysis model mainly applies state translation rules, semantic computing rules and attributes to define formal semantics of a tabular notation in the SCR requirements method, and may be used to analyze requirements specifications to be specified by the SCR requirements method. Using a simple example, this paper introduces how to analyze consistency and completeness of requirements specifications.
Keywordsrequirements engineering requirements specifications mode transition rule requirements analysis
Unable to display preview. Download preview PDF.
- Alspaugh T, Faulk S, Britton K, Parker R, Parnas D, Shore J. Software Requirements for the A-7E Aircraft.Naval Research Lab. Tech. Rep., March 1988.Google Scholar
- Constance H, James K, Bruce L. The SCR method for formally specifying, verifying, and validating requirements: Tool support. In19th International Conference on S.E., Boston, Massachusetts, USA, May 1997, pp. 610–611.Google Scholar
- Michael Jackson. Software Requirements & Specifications, Addision-Wesley, 1995.Google Scholar