SCR*: A toolset for specifying and analyzing software requirements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1427 LNCS, Issue , 1998, Pages 526-531

  Heitmeyer, Constance ^a   Kirby, James ^a   Labaw, Bruce ^a   Bharadwaj, Ramesh ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS; COMPUTER SOFTWARE; COST REDUCTION; MODEL CHECKING; THEOREM PROVING; FORMAL LOGIC;

ABSTRACTION METHODS; HIGHER ORDER LOGIC; MATHEMATICAL FOUNDATIONS; MATHEMATICAL SOPHISTICATION; SOFTWARE COST REDUCTIONS; SOFTWARE DEVELOPER; SOFTWARE REQUIREMENTS; TABULAR NOTATION;

FORMAL METHODS;

EID: 84863906471     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0028775     Document Type: Conference Paper

References (15)

1. T. A. Alspaugh et al. Software requirements for the A-7 aircraft. Report 9194, Naval Research Lab, Wash. DC, 1992.
2. th ACM SIGSOFT Symp. Foundations of Software Eng., October 1996.
3. R. Bharadwaj and C. Heitmeyer. "Model checking complete requirements specifications using abstraction." Journal of Automated Software Eng. (to appear).
4. S. Easterbrook and J. Callahan. "Formal methods for verification and validation of partial specifications: A case study." Journal of Systems and Software, 1997.
5. th Annual Computer Assurance Conf. (COMPASS '94), June 1994.
6. th Int'l Conf. on Software Eng. (ICSE'95), Seattle, WA, Apr. 1995.
7. C. Heitmeyer, R. Jeffords, and B. Labaw. "Automated consistency checking of requirements specifications." ACM Trans. Software Eng. and Method. 5(3), 1996.
8. th Annual Conf. on Computer Assurance (COMPASS '95), June 1995.
9. th Annual Conf. on Computer Assurance (COMPASS '97), June 1997.
10. nd Workshop on Formal Methods in Software Practice (FMSP'98), St. Petersburg, FL, March 1998.
11. K. L. Heninger. Specifying software requirements for complex systems: New techniques and their application. IEEE Trans, on Software Eng. SE-6(1), Jan. 1980.
12. G. J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991.
13. * requirements toolset to DS-1 fault protection." Report D15198, Jet Propulsion Lab, Pasadena, CA, Dec. 1997.
14. nd Workshop on Formal Methods in Software Practice (FMSP'98), St. Petersburg, FL, March 1998.
15. nd Workshop on Formal Methods in Software Practice (FMSP'98), St. Petersburg, FL, March 1998.