{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:27:39Z","timestamp":1725506859607},"publisher-location":"Boston, MA","reference-count":12,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8157-6_47","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T16:54:40Z","timestamp":1207587280000},"page":"521-526","source":"Crossref","is-referenced-by-count":0,"title":["Early Validation of Requirements"],"prefix":"10.1007","author":[{"given":"Steven P.","family":"Miller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mats P. E.","family":"Heimdahl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"47_CR1","unstructured":"Anonymous. NuSMV: A New Symbolic Model Checking, 2004. http:\/\/nusmv.irst.itc.it\/."},{"key":"47_CR2","unstructured":"Anonymous. PVS home page, 2004. http:\/\/www.csl.sri.com\/projects\/pvs."},{"key":"47_CR3","unstructured":"Yunja Choi and Mats Heimdahl. Model checking RSML -e requirements. In Proceedings of the 7th IEEE\/IEICE International Symposium on High Assurance Systems Engineering, October 2002."},{"issue":"5","key":"47_CR4","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/52.156894","volume":"9","author":"S. Faulk","year":"1992","unstructured":"S. Faulk, J. Brackett, P. Ward, and J Kirby, Jr. The CoRE method for real-time requirements. IEEE Software, 9(5):22\u201333, September 1992.","journal-title":"IEEE Software"},{"issue":"4","key":"47_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D. Harel","year":"1996","unstructured":"David Harel and Amnon Naamad. The STATEMATE semantics of statecharts. ACM Transactions of Software Engineering and Methodology, 5(4):293\u2013333, October 1996.","journal-title":"ACM Transactions of Software Engineering and Methodology"},{"issue":"3","key":"47_CR6","doi-asserted-by":"publisher","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 Transactions on Software Engineering and Methodology, 5(3):231\u2013261, July 1996.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"9","key":"47_CR7","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1109\/32.317428","volume":"20","author":"N.G. Leveson","year":"1994","unstructured":"N.G. Leveson, M.P.E. Heimdahl, H. Hildreth, and J.D. Reese. Requirements Specification for Process-Control Systems. IEEE Transactions on Software Engineering, 20(9):684\u2013706, September 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"47_CR8","unstructured":"S. Miller, A. Tribble, T. Carlson, and E. Danielson. Flight guidance system requirements specification. Technical Report CR-2003-212426, NASA Langley Research Center, June 2003. Available at http:\/\/techreports.larc.nasa.gov\/ltrs\/refer\/2003\/cr\/NASA-2003-cr212426.refer.html."},{"key":"47_CR9","doi-asserted-by":"crossref","unstructured":"Steven P. Miller, Alan C. Tribble, and Mats Per Erik Heimdahl. Proving the shalls. In Keijiro Araki, Stefania Gnesi, and Dino Mandrioli, editors, Proceedigns of the International Symposium of Formal Methods Europe (FME 2003), volume 2805 of Lecture Notes in Computer Science, pages 75\u201393, Pisa, Italy, September 2003. Springer.","DOI":"10.1007\/978-3-540-45236-2_6"},{"key":"47_CR10","doi-asserted-by":"crossref","unstructured":"S. Owre, J. Rushby, N. Shankar, and F. von Henke. Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS.IEEE Transactions on Software Engineering, 21(2), February 1995.","DOI":"10.1109\/32.345827"},{"key":"47_CR11","doi-asserted-by":"crossref","unstructured":"Jeffrey M. Thompson, Mats P.E. Heimdahl, and Steven P. Miller. Specification based prototyping for embedded systems. In Seventh ACM SIGSOFT Symposium on the Foundations on Software Engineering, number 1687 in LNCS, pages 163\u2013179, September 1999.","DOI":"10.1145\/318774.318940"},{"key":"47_CR12","unstructured":"A. Tribble, D. Lempia, and S. Miller. Software safety analysis ofa flight guidance system. In Proceedings of the 21st Digital Avionics Systems Conference (DASC\u201902), Irvine, CA, October 2002."}],"container-title":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T05:08:21Z","timestamp":1619672901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402081569","9781402081576"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_47","relation":{},"subject":[]}}