{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:45:52Z","timestamp":1725864352689},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319448169"},{"type":"electronic","value":"9783319448176"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-44817-6_5","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T15:55:25Z","timestamp":1472831725000},"page":"58-69","source":"Crossref","is-referenced-by-count":1,"title":["Cardion.spec: An Approach to Improve the Requirements Specification Written in the Natural Language Through the Formal Method"],"prefix":"10.1007","author":[{"given":"Masao","family":"Ito","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,1]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/s00766-011-0144-x","volume":"17","author":"E Sikora","year":"2012","unstructured":"Sikora, E., Tenbergen, B., Pohl, K.: Industry needs and research directions in requirements engineering for embedded systems. Requirements Eng. 17(1), 57\u201378 (2012)","journal-title":"Requirements Eng."},{"key":"5_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139629294","volume-title":"Building High Integrity Applications with SPARK","author":"JW McCormick","year":"2015","unstructured":"McCormick, J.W., Chapin, P.C.: Building High Integrity Applications with SPARK. Cambridge University Press, Cambridge (2015)"},{"key":"5_CR3","unstructured":"IEEE: IEEE Recommended Practice for Software Requirements Specification (IEEE Std 830-1998). IEEE (1998)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/978-3-642-37422-7_4","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"D Ott","year":"2013","unstructured":"Ott, D.: Automatic requirement categorization of large natural language specifications at Mercedes-Benz for review improvements. In: Doerr, J., Opdahl, A.L. (eds.) REFSQ 2013. LNCS, vol. 7830, pp. 50\u201364. Springer, Heidelberg (2013)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Ott, D., Raschke, A.: Review improvement by requirements classification at Mercedes-Benz: limits of empirical studies in educational environments. In: 2012 IEEE Second International Workshop on Empirical Requirements Engineering (EmpiRE). IEEE (2012)","DOI":"10.1109\/EmpiRE.2012.6347677"},{"key":"5_CR6","unstructured":"ISO\/IEC, ISO\/IEC 13568:2002: Information technology \u2013 Z formal specification notation \u2013 Syntax, type system and semantics, ISO (2002)"},{"key":"5_CR7","doi-asserted-by":"crossref","DOI":"10.1002\/9781118561898","volume-title":"Industrial Use of Formal Methods: Formal Verification","author":"J-L Boulanger","year":"2013","unstructured":"Boulanger, J.-L.: Industrial Use of Formal Methods: Formal Verification. Wiley, New York (2013)"},{"key":"5_CR8","series-title":"Understanding Complex Systems","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-642-10654-5_2","volume-title":"Polystochastic Models for Complexity","author":"O Iordache","year":"2010","unstructured":"Iordache, O.: Methods. In: Iordache, O. (ed.) Polystochastic Models for Complexity. UCS, vol. 4, pp. 17\u201361. Springer, Heidelberg (2010)"},{"issue":"3","key":"5_CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"CL Heitmeyer","year":"1996","unstructured":"Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Automated consistency checking of requirements specifications. ACM Trans. Softw. Eng. Methodol. (TOSEM) 5(3), 231\u2013261 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"5_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139696616","volume-title":"Programming in Ada 2012","author":"J Barnes","year":"2014","unstructured":"Barnes, J.: Programming in Ada 2012. Cambridge University Press, Cambridge (2014)"},{"key":"5_CR11","unstructured":"Parnas, D.L., Madey, J.: Functional documentation for computer systems engineering: version 2. McMaster University, Faculty of Engineering, Communications Research Laboratory (1991)"}],"container-title":["Communications in Computer and Information Science","Systems, Software and Services Process Improvement"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-44817-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T21:53:25Z","timestamp":1498341205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-44817-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319448169","9783319448176"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-44817-6_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]}}}