SCR: a toolset for specifying and analyzing requirements

Author

Heitmeyer, Constance ; Bull, Alan ; Gasarch, Carolyn ; Labaw, Bruce

Author_Institution

Center for High Assurance Compt. Syst., Naval Res. Lab., Washington, DC, USA

fYear

1995

fDate

25-29 Jun 1995

Firstpage

109

Lastpage

122

Abstract

A set of CASE tools is described for developing formal requirements specifications expressed in the SCR (Software Cost Reduction) tabular notation. The tools include an editor for building the specifications, a consistency checker for testing the specifications for consistency with a formal requirements model, a simulator for symbolically executing the specifications, and a verifier for checking that the specifications satisfy selected application properties. As background, the SCR method for specifying requirements is reviewed and a formal requirements model is introduced. Examples are presented to illustrate the tools

Keywords

computer aided software engineering; formal specification; software cost estimation; software tools; CASE tools; Software Cost Reduction; consistency checker; editor; formal requirements model; formal requirements specifications; requirements specification; simulator; toolset; Application software; Command and control systems; Computer aided software engineering; Costs; Laboratories; Military computing; Power generation; Software tools; Testing; Thyristors;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on

Conference_Location

Gaithersburg, MD

Print_ISBN

0-7803-2680-2

Type

conf

DOI

10.1109/CMPASS.1995.521891

Filename

521891