The SCR method for formally specifying, verifying, and validating requirements

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The SCR method for formally specifying, verifying, and validating requirements: tool support

Full text

Pdf (430 KB)

Source

International Conference on Software Engineering archive
Proceedings of the 19th international conference on Software engineering table of contents

Boston, Massachusetts, United States

Pages: 610 - 611

Year of Publication: 1997

ISBN:0-89791-914-9

Authors

Constance Heitmeyer	Naval Research Laboratory, Code 5546, Washington, DC
James Kirby	Naval Research Laboratory, Code 5546, Washington, DC
Bruce Labaw	Naval Research Laboratory, Code 5546, Washington, DC

Sponsors

IEEE-CS\TCSE : TC on Software Engineering
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 31, Citation Count: 4

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/253228.253498 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	R. Bharadwaj and C. Heitmeyer, "Verifying SCR Requirements Specifications Using State Exploration." Proc. Automated Analysis of Software Workshop, Paris, Jan. 1997.
	2	S. Faulk et al., "Experience applying the CORE Method to the Lockheed C-1303," Proc. 9th Computer Assurance Conf. (COMPASS '9.4), Gaithersburg, MD, June 1994.
	3	C. Heitmeyer , B. Labaw , D. Kiskis, Consistency checking of SCR-style requirements specifications, Proceedings of the Second IEEE International Symposium on Requirements Engineering, p.56, March 27-29, 1995
	4	C. Heitmeser. A. Bull. C. Gasarch. and B. Labaw. "SCR": A toolset ior specifying and analyzing requirements," PTOC. 10th Computer Assurance Conf. (COMPASS '95). Gaithersburg, MD, June 1995.
	5	Constance L. Heitmeyer , Ralph D. Jeffords , Bruce G. Labaw, Automated consistency checking of requirements specifications, ACM Transactions on Software Engineering and Methodology (TOSEM), v.5 n.3, p.231-261, July 1996 [doi>10.1145/234426.234431]
	6	Constance Heitmeyer, Requirements specifications for hybrid systems, Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control, p.304-314, July 1996, New Brunswick, NeW Jersey, United States
	7	C. Heitmeyer, R. Jeffords, and B. Labaw, "Tools for analyzing SCR-style requirements specifications: A formal foundation" (in preparation).

CITED BY 4

	Jeff Magee , Nat Pryce , Dimitra Giannakopoulou , Jeff Kramer, Graphical animation of behavior models, Proceedings of the 22nd international conference on Software engineering, p.499-508, June 04-11, 2000, Limerick, Ireland
	Robert Chatley , Sebastian Uchitel , Jeff Kramer , Jeff Magee, Fluent-based web animation: exploring goals for requirements validation, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA
	Steven J. Cunning , Jerzy W. Rozenblit, Automating test generation for discrete event oriented embedded systems, Journal of Intelligent and Robotic Systems, v.41 n.2-3, p.87-112, January 2005
	Jeff Magee , Jeff Kramer , Bashar Nuseibeh , David Bush , Julia Sonander, Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation, Proceedings of the 10th International Workshop on Software Specification and Design, p.3, November 05-07, 2000