Using the SCR* toolset to specify software requirements

Author

Heitmeyer, Constance

Author_Institution

Naval Res. Lab., Washington, DC, USA

fYear

1998

fDate

1998

Firstpage

12

Lastpage

13

Abstract

Formulated in the late 1970s to specify the requirements of the Operational Flight Program of the A-7 aircraft, the SCR (Software Cost Reduction) requirements method is a method based on tables for specifying the requirements of software systems. During the 1980s and the early 1990s, many companies, including Bell Laboratories, Grumman, Ontario Hydro, and Lockheed, applied the SCR requirements method to practical systems. Each of these applications of SCR had, at most, weak tool support. To provide powerful, robust tool support customized for the SCR method, we have developed the SCR* toolset. To provide formal underpinnings for the method, we have also developed a formal model which defines the semantics of SCR requirements specifications

Keywords

formal specification; software tools; A-7 aircraft; Operational Flight Program; SCR requirements specifications; SCR* toolset; Software Cost Reduction; application properties; consistency checker; dependency graph browser; formal model; model checker; requirements method; semantics; software requirements; specification editor; theorem prover; well-formedness errors; Application software; Costs; Dictionaries; Laboratories; Monitoring; Power system modeling; Radio frequency; Software systems; Software tools; Thyristors;

fLanguage

English

Publisher

ieee

Conference_Titel

Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on

Conference_Location

Boca Raton, FL

Print_ISBN

0-7695-0081-1

Type

conf

DOI

10.1109/WIFT.1998.766290

Filename

766290