{"title":"The SCR Approach to Requirements Specification and Analysis","authors":"S. Faulk, C. Heitmeyer","doi":"10.1109/RE.1997.10007","DOIUrl":null,"url":null,"abstract":"The Software Cost Reduction (SCR) requirements method is a practical, industrial-strength approach to requirements that leads to precise, unambiguous, and testable requirements specifications. The method scales to large applications, producing specifications that are both easy to understand and easy to change. Effectiveness of the SCR approach has been demonstrated in a variety of industrial, safety-critical applications. These include software for military aircraft, commercial aircraft, and the shutdown system of a nuclear power plant. Recent work has extended the method to include mechanical support for creation, validation, and verification of formal requirements specifications. This support is based on a formal requirements model. Researchers have claimed that formal methods have the potential to address many of industry’s problems with requirements, including ambiguity, incompleteness, and imprecision. Nonetheless, industry has been slow to adopt formal techniques because they are perceived as impractical for large, complex applications. The SCR method was developed to provide the benefits of formal methods to industrial developers of large-scale real-time systems. It has been effective in meeting industry needs because the technical approach addresses constraints and concerns common to industrial software developers, including ease of use, scalability, and cost-effectiveness. This tutorial gives an overview of the SCR method, its rationale, and empirical results on its effectiveness. It includes the following topics:","PeriodicalId":90955,"journal":{"name":"Proceedings. IEEE International Requirements Engineering Conference","volume":"80 1","pages":"263"},"PeriodicalIF":0.0000,"publicationDate":"1997-01-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings. IEEE International Requirements Engineering Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/RE.1997.10007","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
The Software Cost Reduction (SCR) requirements method is a practical, industrial-strength approach to requirements that leads to precise, unambiguous, and testable requirements specifications. The method scales to large applications, producing specifications that are both easy to understand and easy to change. Effectiveness of the SCR approach has been demonstrated in a variety of industrial, safety-critical applications. These include software for military aircraft, commercial aircraft, and the shutdown system of a nuclear power plant. Recent work has extended the method to include mechanical support for creation, validation, and verification of formal requirements specifications. This support is based on a formal requirements model. Researchers have claimed that formal methods have the potential to address many of industry’s problems with requirements, including ambiguity, incompleteness, and imprecision. Nonetheless, industry has been slow to adopt formal techniques because they are perceived as impractical for large, complex applications. The SCR method was developed to provide the benefits of formal methods to industrial developers of large-scale real-time systems. It has been effective in meeting industry needs because the technical approach addresses constraints and concerns common to industrial software developers, including ease of use, scalability, and cost-effectiveness. This tutorial gives an overview of the SCR method, its rationale, and empirical results on its effectiveness. It includes the following topics: