{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:38Z","timestamp":1725455858742},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627173"},{"type":"electronic","value":"9783540684909"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027280","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T02:00:45Z","timestamp":1132365645000},"page":"1-9","source":"Crossref","is-referenced-by-count":0,"title":["Formal methods: A panacea or academic poppycock?"],"prefix":"10.1007","author":[{"given":"Constance","family":"Heitmeyer","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"M. Archer, C. L. Heitmeyer. Verifying hybrid systems modeled as timed automata: A case study. Proceedings, Hybrid and Real-Time Systems Workshop (HART '97), Grenoble, France, March, 1997.","DOI":"10.1007\/BFb0014724"},{"key":"1_CR2","unstructured":"R. Bharadwaj, C. L. Heitmeyer. Applying the SCR requirements specification method to practical systems: A case study. Proceedings, Twenty-First Annual Software Engineering Workshop, Greenbelt, MD, December 1996."},{"key":"1_CR3","unstructured":"R. Bharadwaj, C. L. Heitmeyer. Verifying SCR requirements specifications using state exploration. Proceedings, First ACM SIGPLAN Workshop on the Automated Analysis of Software, Paris, France, January 1997."},{"key":"1_CR4","unstructured":"Ricky W. Butler. An Introduction to Requirements Capture Using PVS: Specification of a Simple Autopilot. NASA Technical Memorandum 110255. NASA Langley Research Center, Hampton VA 23681."},{"issue":"2","key":"1_CR5","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"E. M. Clarke, E. A. Emerson and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8(2):244\u2013263, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR6","unstructured":"K. G\u00f6del. On Decidable Propositions of Formal Mathematical Systems. Notes by Kleene and Rosser on G\u00f6del's 1934 Lecture to the IAS. Reprinted in The Undecidable, ed., Martin Davis."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"M. Heimdahl, N. Leveson. Completeness and consistency analysis of state-based requirements. Proceedings, 17th International Conference on Software Engineering (ICSE '95). Seattle, WA, April 1995.","DOI":"10.1145\/225014.225015"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Constance Heitmeyer, et al. SCR*: A toolset for specifying and analyzing requirements. Proceedings, 10\n\n                  th\n                \nAnnual Conference on Computer Assurance(COMPASS '95), Gaithersburg MD, June 1995.","DOI":"10.21236\/ADA465318"},{"issue":"3","key":"1_CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"C. L. Heitmeyer","year":"1996","unstructured":"C. L. Heitmeyer, R. D. Jeffords, and B. G. Labaw. Automated consistency checking of requirements specifications. ACM Trans. on Software Engg. and Methodology, 5(3)231\u2013261, July 1996.","journal-title":"ACM Trans. on Software Engg. and Methodology"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Matt Kaufmann and J Strother Moore. ACL2: An industrial-strength version of Nqthm. Proceedings, 11th Annual Conference on Computer Assurance (COMPASS '96). Gaithersburg, MD, June 17\u201321, 1996.","DOI":"10.1109\/CMPASS.1996.507872"},{"issue":"no.2","key":"1_CR11","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1109\/32.345827","volume":"21","author":"S. Owre","year":"1995","unstructured":"Sam Owre, John Rushby, Natarajan Shankar, Friedrich von Henke. Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. IEEE Transactions on Soft-ware Engineering, vol. 21, no. 2, pp. 107\u2013125, Feb. 1995.","journal-title":"IEEE Transactions on Soft-ware Engineering"},{"issue":"1","key":"1_CR12","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0167-6423(95)96871-J","volume":"25","author":"D. L. Parnas","year":"1995","unstructured":"D. L. Parnas and J. Madey. Functional documents for computer systems. Science of Computer Programming, 25(1), pp 41\u201362, Oct 1995.","journal-title":"Science of Computer Programming"}],"container-title":["Lecture Notes in Computer Science","ZUM '97: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027280","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T18:20:24Z","timestamp":1549304424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027280"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627173","9783540684909"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0027280","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}