{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:25Z","timestamp":1751983645865},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646082"},{"type":"electronic","value":"9783540693390"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0028775","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:48:09Z","timestamp":1133419689000},"page":"526-531","source":"Crossref","is-referenced-by-count":39,"title":["SCR: A toolset for specifying and analyzing software requirements"],"prefix":"10.1007","author":[{"given":"Constance","family":"Heitmeyer","sequence":"first","affiliation":[]},{"given":"James","family":"Kirby","sequence":"additional","affiliation":[]},{"given":"Bruce","family":"Labaw","sequence":"additional","affiliation":[]},{"given":"Ramesh","family":"Bharadwaj","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,18]]},"reference":[{"key":"50_CR1","unstructured":"T. A. Alspaugh et al. Software requirements for the A-7 aircraft. Report 9194, Naval Research Lab, Wash. DC, 1992."},{"key":"50_CR2","doi-asserted-by":"crossref","unstructured":"R. J. Anderson et al. \u201cModel checking large software specifications.\u201d Proc. 4th ACM SIGSOFT Symp. Foundations of Software Eng., October 1996.","DOI":"10.1145\/239098.239127"},{"key":"50_CR3","unstructured":"R. Bharadwaj and C. Heitmeyer. \u201cModel checking complete requirements specifications using abstraction.\u201d Journal of Automated Software Eng. (to appear."},{"key":"50_CR4","doi-asserted-by":"crossref","unstructured":"S. Easterbrook and J. Callahan. \u201cFormal methods for verification and validation of partial specifications: A case study.\u201d Journal of Systems and Software, 1997.","DOI":"10.1016\/S0164-1212(97)00167-2"},{"key":"50_CR5","unstructured":"S. Faulk et al. \u201cExperience applying the CoRE method to the Lockheed C-130J.\u201d Proc. 9 th Annual Computer Assurance Conf. (COMPASS '94), June 1994."},{"key":"50_CR6","doi-asserted-by":"crossref","unstructured":"M. P. E. Heimdahl and N. Leveson. \u201cCompleteness and consistency analysis of state-based requirements.\u201d Proc. 17 th Int'l Conf. on Software Eng. (ICSE'95), Seattle, WA, Apr. 1995.","DOI":"10.1145\/225014.225015"},{"key":"50_CR7","doi-asserted-by":"crossref","unstructured":"C. Heitmeyer, R. Jeffords, and B. Labaw. \u201cAutomated consistency checking of requirements specifications.\u201d ACM Trans. Software Eng. and Method. 5(3), 1996.","DOI":"10.1145\/234426.234431"},{"key":"50_CR8","doi-asserted-by":"crossref","unstructured":"C. Heitmeyer et al. \u201cSCR: A toolset for specifying and analyzing requirements.\u201d Proc. 10 th Annual Conf. on Computer Assurance (COMPASS '95), June 1995.","DOI":"10.21236\/ADA465318"},{"key":"50_CR9","doi-asserted-by":"crossref","unstructured":"C. Heitmeyer, J. Kirby, and B. Labaw. \u201cTools for formal specification, verification, and validation of requirements.\u201d Proc. 12 th Annual Conf. on Computer Assurance (COMPASS '97), June 1997.","DOI":"10.1109\/CMPASS.1997.613206"},{"key":"50_CR10","doi-asserted-by":"crossref","unstructured":"C. Heitmeyer, J. Kirby, and B. Labaw. \u201cApplying the SCR requirements method to a weapons control panel: An experience report.\u201d Proc. 2nd Workshop on Formal Methods in Software Practice (FMSP'98), St. Petersburg, FL, March 1998.","DOI":"10.1145\/298595.298863"},{"key":"50_CR11","doi-asserted-by":"crossref","unstructured":"K. L. Heninger. Specifying software requirements for complex systems: New techniques and their application. IEEE Trans. on Software Eng. SE-6(1), Jan. 1980.","DOI":"10.1109\/TSE.1980.230208"},{"key":"50_CR12","unstructured":"G. J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall, 1991."},{"key":"50_CR13","unstructured":"R. R. Lutz and H.-Y. Shaw. \u201cApplying the SCR requirements toolset to DS-1 fault protection.\u201d Report D15198, Jet Propulsion Lab, Pasadena, CA, Dec. 1997."},{"key":"50_CR14","doi-asserted-by":"crossref","unstructured":"S. Miller. \u201cSpecifying the mode logic of a flight guidance system in CoRE and SCR.\u201d Proc. 2 nd Workshop on Formal Methods in Software Practice (FMSP'98), St. Petersburg, FL, March 1998.","DOI":"10.1145\/298595.298856"},{"key":"50_CR15","doi-asserted-by":"crossref","unstructured":"D. Y. W. Park et al. \u201cChecking properties of safety-critical specifications using efficient decision procedures.\u201d Proc. 2 nd Workshop on Formal Methods in Software Practice (FMSP'98), St. Petersburg, FL, March 1998.","DOI":"10.1145\/298595.298603"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028775","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T20:22:33Z","timestamp":1626812553000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028775"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646082","9783540693390"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0028775","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}