Title :
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
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;
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
DOI :
10.1109/CMPASS.1995.521891
