{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:46:21Z","timestamp":1725493581244},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434191"},{"type":"electronic","value":"9783540460022"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46002-0_15","type":"book-chapter","created":{"date-parts":[[2007,10,28]],"date-time":"2007-10-28T02:29:59Z","timestamp":1193538599000},"page":"205-220","source":"Crossref","is-referenced-by-count":1,"title":["Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS"],"prefix":"10.1007","author":[{"given":"Taeho","family":"Kim","sequence":"first","affiliation":[]},{"given":"David","family":"Stringer-Calvert","sequence":"additional","affiliation":[]},{"given":"Sungdeok","family":"Cha","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"issue":"7","key":"15_CR1","first-page":"133","volume":"12","author":"M. Fagan","year":"1986","unstructured":"M. Fagan, \u201cAdvances in Software Inspections,\u201d IEEE Transactions on Software Engineering, 12(7), pp. 133\u2013144, 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR2","unstructured":"S. Owre, N. Shankar, J. Rushby, and D. Stringer-Calvert, PVS System Guide, PVS Language Reference, and PVS Prover Guide Version 2.4, Computer Science Laboratory, SRI International, 2001."},{"key":"15_CR3","unstructured":"AECL CANDU, Software Work Practice, Procedure for the Specification of Software Requirements for Safety Critical Systems, Wolsung NPP, 00-68000-SWP-002, 1991."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"C. Heitmeyer, J. Kirby, and B. Labaw, \u201cThe SCR Method for Formally Specifying, Verifying and Validating Software Requirements: Tool Support,\u201d Proceedings of the 19th International Conference on Software Engineering (ICSE\u2019 97), pp. 610\u2013611, 1997.","DOI":"10.1145\/253228.253498"},{"issue":"9","key":"15_CR5","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, \u201cThe Synchronous Data Flow Programming Language LUSTRE,\u201d Proceedings of the IEEE, 79(9), pp. 1305\u20131320, 1991.","journal-title":"Proceedings of the IEEE"},{"key":"15_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/3-540-45499-3_8","volume-title":"Practical application of functional and relational methods for the specification and verification of safety critical software","author":"M. Lawford","year":"2000","unstructured":"M. Lawford, J. McDougall, P. Froebel, and G. Moum, \u201cPractical application of functional and relational methods for the specification and verification of safety critical software,\u201d Proceedings of Algebraic Methodology and Software Technology, 8th International Conference (AMAST 2000), LNCS 1816, pp. 73\u201388, 2000."},{"key":"15_CR7","unstructured":"D. Parnas and J. Madey, \u201cFunctional documentation for computer systems engineering,\u201d Technical Report CRL No. 273, Telecommunications Research Institute of Ontario, McMaster University, 1991."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"V. Gervasi and B. Nuseibeh, \u201cLightweight Validation of Natural Language Requirements: a case study,\u201d Proceedings of 4th IEEE International Conference on Requirements Engineering (ICRE 2000), 2000.","DOI":"10.1109\/ICRE.2000.855601"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46002-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:28:52Z","timestamp":1556922532000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46002-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434191","9783540460022"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-46002-0_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}