The SCR Approach to Requirements Specification and Analysis

S. Faulk, C. Heitmeyer
{"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:
需求规范和分析的SCR方法
软件成本降低(SCR)需求方法是一种实用的、工业强度的需求方法,它导致了精确的、明确的和可测试的需求规格说明。该方法适用于大型应用程序,生成易于理解且易于更改的规范。SCR方法的有效性已经在各种工业、安全关键应用中得到了证明。这些软件包括军用飞机、商用飞机和核电站关闭系统的软件。最近的工作已经扩展了该方法,以包括对正式需求规范的创建、确认和验证的机械支持。这种支持基于正式的需求模型。研究人员声称,形式化方法具有解决许多行业需求问题的潜力,包括歧义、不完整和不精确。尽管如此,工业界在采用正式技术方面进展缓慢,因为它们被认为对大型、复杂的应用不实用。开发SCR方法是为了向大规模实时系统的工业开发人员提供形式化方法的好处。它在满足行业需求方面是有效的,因为该技术方法解决了工业软件开发人员常见的约束和关注点,包括易用性、可伸缩性和成本效益。本教程概述了SCR方法、其基本原理以及其有效性的实证结果。它包括以下主题:
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信